diff options
author | Nguyễn Gia Phong <vn.mcsinyx@gmail.com> | 2019-05-27 22:28:01 +0700 |
---|---|---|
committer | Nguyễn Gia Phong <vn.mcsinyx@gmail.com> | 2019-05-27 22:28:01 +0700 |
commit | 2f5a29f4dfebc144e3d82283b2b0af64b5c8b218 (patch) | |
tree | c309959c3169f93ed43db64a4ff3eff8faf536fe /debian/.config/gtk-3.0/settings.ini | |
parent | 71833609827d0663f76746127798e3fec195c34d (diff) | |
download | dotfiles-2f5a29f4dfebc144e3d82283b2b0af64b5c8b218.tar.gz |
Update 2019-05-27
Diffstat (limited to 'debian/.config/gtk-3.0/settings.ini')
-rw-r--r-- | debian/.config/gtk-3.0/settings.ini | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/.config/gtk-3.0/settings.ini b/debian/.config/gtk-3.0/settings.ini deleted file mode 100644 index 4635233..0000000 --- a/debian/.config/gtk-3.0/settings.ini +++ /dev/null @@ -1,4 +0,0 @@ -[Settings] -gtk-font-name = Latin Modern Sans 11 -gtk-application-prefer-dark-theme = true -gtk-key-theme-name = Emacs |