diff options
Diffstat (limited to 'settings.ini')
-rw-r--r-- | settings.ini | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/settings.ini b/settings.ini deleted file mode 100644 index 5691d9e4a774..000000000000 --- a/settings.ini +++ /dev/null @@ -1,5 +0,0 @@ -[Settings] -gtk-icon-theme-name = Adwaita -gtk-theme-name = Adwaita -gtk-font-name = Cantarell 11 -gtk-hint-font-metrics=true |