From 787461fa169dd9112a583d601bc43a3e115a6875 Mon Sep 17 00:00:00 2001
From: Michael Catanzaro <mcatanzaro@redhat.com>
Date: Tue, 3 Oct 2023 11:12:29 -0500
Subject: [PATCH] Remove unused settings.ini from git repo

I forgot to remove this in ec146676cd61284b2c1c921daddd4f9e5001db6c
---
 settings.ini | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 settings.ini

diff --git a/settings.ini b/settings.ini
deleted file mode 100644
index 462e32c..0000000
--- a/settings.ini
+++ /dev/null
@@ -1,2 +0,0 @@
-[Settings]
-gtk-hint-font-metrics=1