From da870c5eccaa6ccb5afe76c8b84bdf2b140dc683 Mon Sep 17 00:00:00 2001 From: mlibre Date: Wed, 6 Sep 2023 12:39:20 +0330 Subject: [PATCH] rename HappyFolder name to happyFolder --- themes/{HappyTerminal => happyTerminal}/happyTerminal.theme.bash | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename themes/{HappyTerminal => happyTerminal}/happyTerminal.theme.bash (100%) diff --git a/themes/HappyTerminal/happyTerminal.theme.bash b/themes/happyTerminal/happyTerminal.theme.bash similarity index 100% rename from themes/HappyTerminal/happyTerminal.theme.bash rename to themes/happyTerminal/happyTerminal.theme.bash