diff options
author | Tomkoid | 2023-05-20 13:15:47 +0200 |
---|---|---|
committer | Tomkoid | 2023-05-20 13:15:47 +0200 |
commit | b113db5f645ebfed887389ef70a39e736bae72ab (patch) | |
tree | 12d96e63369c52472fdab0dfb90e37565e9b9e88 /settings.ini | |
parent | 0147632cb902a4c62959de54283dec613f78ce08 (diff) | |
download | aur-b113db5f645ebfed887389ef70a39e736bae72ab.tar.gz |
bump package to version 3-1, append changes to file instead of replacing the file with a template
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 |