diff options
| -rw-r--r-- | gtk/.config/gtk-3.0/gtkcss (renamed from debian/.config/gtk-3.0/gtkcss) | 0 | ||||
| -rw-r--r-- | gtk/.config/gtk-3.0/settings.ini (renamed from debian/.config/gtk-3.0/settings.ini) | 0 | ||||
| -rw-r--r-- | gtk/.gtkrc-2.0 (renamed from debian/.gtkrc-2.0) | 1 |
3 files changed, 0 insertions, 1 deletions
diff --git a/debian/.config/gtk-3.0/gtkcss b/gtk/.config/gtk-3.0/gtkcss index e7ff883..e7ff883 100644 --- a/debian/.config/gtk-3.0/gtkcss +++ b/gtk/.config/gtk-3.0/gtkcss diff --git a/debian/.config/gtk-3.0/settings.ini b/gtk/.config/gtk-3.0/settings.ini index 8a630a8..8a630a8 100644 --- a/debian/.config/gtk-3.0/settings.ini +++ b/gtk/.config/gtk-3.0/settings.ini diff --git a/debian/.gtkrc-2.0 b/gtk/.gtkrc-2.0 index c71b8ee..1cbe816 100644 --- a/debian/.gtkrc-2.0 +++ b/gtk/.gtkrc-2.0 @@ -1,3 +1,2 @@ gtk-font-name = "Latin Modern Sans 12" -gtk-theme-name = "CleanIce-Marble" gtk-key-theme-name = "Emacs" |