From 1722ebef09798a8b2aa4e19bffe7e3925cf5d3ce Mon Sep 17 00:00:00 2001
From: Simon Schampijer <simon@laptop.org>
Date: Mon, 17 Sep 2012 09:41:24 +0000
Subject: Remove settings.ini

We do generate settings-100.ini  settings-72.ini from
settings.ini.em now, no need to keep the unused
settings.ini around.
---
diff --git a/gtk3/theme/settings.ini b/gtk3/theme/settings.ini
deleted file mode 100644
index ef47e1f..0000000
--- a/gtk3/theme/settings.ini
+++ /dev/null
@@ -1,5 +0,0 @@
-[Settings]
-#gtk-color-scheme = "base_color:#ffffff\nbg_color:#ededed\ntooltip_bg_color:#343434\nselected_bg_color:#4a90d9\ntext_color:#2e3436\nfg_color:#2e3436;\ntooltip_fg_color:#ffffff\nselected_fg_color:#ffffff"
-gtk-auto-mnemonics = 1
-gtk-toolbar-style = GTK_TOOLBAR_ICONS
-gtk-icon-sizes=gtk-menu=24,24:gtk-dnd=24,24:gtk-small-toolbar=24,24:gtk-button=24,24:gtk-large-toolbar=40,40
--
cgit v0.9.1