diff options
author | xiota | 2023-07-09 11:09:56 -0700 |
---|---|---|
committer | xiota | 2023-07-09 14:24:01 -0700 |
commit | 7e73c72e1ba2867ca6d35c3e80ae2e05f509ad3d (patch) | |
tree | 7acfa611fa1f88efad72348bd5e140751e80b360 /settings.ini | |
parent | 10fb2c410dd07b1f496d966ba88da3f7334fc9b4 (diff) | |
download | aur-7e73c72e1ba2867ca6d35c3e80ae2e05f509ad3d.tar.gz |
4.11.4.r25
Diffstat (limited to 'settings.ini')
-rw-r--r-- | settings.ini | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/settings.ini b/settings.ini deleted file mode 100644 index 6a0643bfa67e..000000000000 --- a/settings.ini +++ /dev/null @@ -1,4 +0,0 @@ -[Settings] -gtk-icon-theme-name = gnome -gtk-theme-name = Adwaita -gtk-font-name = Cantarell 11 |