From a793b23435567f2d4f49846196ceebcc47cd764c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Fri, 7 Apr 2017 14:56:22 +0200 Subject: Remove stuff not needed on server --- gtk-3.0/settings.ini | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 gtk-3.0/settings.ini (limited to 'gtk-3.0') diff --git a/gtk-3.0/settings.ini b/gtk-3.0/settings.ini deleted file mode 100644 index 16f3e6c..0000000 --- a/gtk-3.0/settings.ini +++ /dev/null @@ -1,4 +0,0 @@ -[Settings] -gtk-theme-name=Numix-Frost -gtk-font-name=pango monospace 8 -gtk-cursor-theme-size=12 -- cgit v1.2.3