Tabs vs spaces

Emyrk · Emyrk · commit db7870193772 · 2023-04-17T14:53:02.000-05:00
diff --git a/scripts/develop.sh b/scripts/develop.sh
@@ -31,10 +31,10 @@ while true; do
 		password="$2"
 		shift 2
 		;;
-  --use-proxy)
-  	use_proxy=1
-  	shift
-  	;;
+	--use-proxy)
+		use_proxy=1
+		shift
+		;;
 	--)
 		shift
 		break
