]> git.wh0rd.org - home.git/history - .gconf/apps/gnome-terminal/profiles/Default/%gconf.xml
git.wh0rd.org / home.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
gnome-terminal: update default profile
[home.git] / .gconf / apps / gnome-terminal / profiles / Default / %gconf.xml
2018-10-10  Mike Frysingergnome-terminal: update default profile blob | commitdiff | raw
2012-04-28  Mike Frysingerupdate configs blob | commitdiff | raw | diff to current
2012-04-28  Mike Frysingermisc updates blob | commitdiff | raw | diff to current
my ~/