]> git.wh0rd.org - home.git/commit
gnome-terminal: update default profile
authorMike Frysinger <vapier@gentoo.org>
Wed, 10 Oct 2018 23:17:39 +0000 (19:17 -0400)
committerMike Frysinger <vapier@gentoo.org>
Wed, 10 Oct 2018 23:17:39 +0000 (19:17 -0400)
commit95b08a48b9046c899b4b6c40558d93a6c0a759a8
treed83e1c26b7e8c788cc0def117cc6e83e960b963e
parent91760b4bcf7e461250499616b501fb010e3b8b82
gnome-terminal: update default profile
.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml