From d1bcbf438aeb3bf96b780ef423a830e8ee270e3f Mon Sep 17 00:00:00 2001 From: Pr0nogo Date: Thu, 16 Feb 2023 18:19:30 -0500 Subject: [PATCH] Remove hotloader.ini as it's no longer used --- hotloader.ini | 1 - 1 file changed, 1 deletion(-) delete mode 100644 hotloader.ini diff --git a/hotloader.ini b/hotloader.ini deleted file mode 100644 index c5b50267..00000000 --- a/hotloader.ini +++ /dev/null @@ -1 +0,0 @@ -debug=0