firefox-gnome-theme/configuration
Rafael Mardojai CM abce2c32b4 User.js: Set UI density to normal, fix #42 2019-07-24 14:21:09 -05:00
..
user.js User.js: Set UI density to normal, fix #42 2019-07-24 14:21:09 -05:00