dotfiles/.gconf/apps/gnome-terminal/profiles/Default
2013-11-16 21:52:22 +01:00
..
%gconf.xml some minor gnome terminal profile changes 2013-11-16 21:52:22 +01:00