worldofpeace 9b13731b72 Merge pull request #67522 from worldofpeace/gnome3/harmonize-defaults ... Harmonize Gnome3 Defaults		2019-09-01 18:33:00 -04:00
..
manual	Merge pull request #67522 from worldofpeace/gnome3/harmonize-defaults	2019-09-01 18:33:00 -04:00
varlistentry-fixer.rb
xmlformat.conf