Remove unused settings.ini from git repo

I forgot to remove this in ec146676cd
2023-10-03 11:12:29 -05:00 · 2023-10-03 11:12:29 -05:00 · 787461fa16
commit 787461fa16
parent ca5cf0fbbc
1 changed files with 0 additions and 2 deletions
--- a/settings.ini
+++ b/settings.ini
@ -1,2 +0,0 @@
-[Settings]
-gtk-hint-font-metrics=1