From 9e9ec809fc533542eded905fe4c2eaa2f0dbb571 Mon Sep 17 00:00:00 2001
From: Severin Kaderli <severin.kaderli@gmail.com>
Date: Tue, 18 Dec 2018 20:28:04 +0100
Subject: [PATCH] Fix gtk-3.0 settings.ini

Signed-off-by: Severin Kaderli <severin.kaderli@gmail.com>
---
 system/.config/gtk-3.0/settings.ini | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/system/.config/gtk-3.0/settings.ini b/system/.config/gtk-3.0/settings.ini
index be549d2..762f24f 100644
--- a/system/.config/gtk-3.0/settings.ini
+++ b/system/.config/gtk-3.0/settings.ini
@@ -1,14 +1,14 @@
-; SCRIPT NAME:
-; .config/gtk-3.0/settings.ini
-;
-; AUTHOR:
-; Severin Kaderli <severin.kaderli@gmail.com>
-;
-; DESCRIPTION:
-; This file contains my GTK 3.0 configuration
-;
-; USAGE:
-; This file is automatically used by GTK.
+# SCRIPT NAME:
+# .config/gtk-3.0/settings.ini
+#
+# AUTHOR:
+# Severin Kaderli <severin.kaderli@gmail.com>
+#
+# DESCRIPTION:
+# This file contains my GTK 3.0 configuration
+#
+# USAGE:
+# This file is automatically used by GTK.
 [Settings]
 gtk-theme-name=Adapta-Nokto
 gtk-icon-theme-name=Paper-Mono-Dark