]>
2018-10-10 | Mike Frysinger | gnome-terminal: update default profile | tree | commitdiff |
2012-04-28 | Mike Frysinger | more default gnome settings | tree | commitdiff |
2012-04-28 | Mike Frysinger | update configs | tree | commitdiff |
2012-04-28 | Mike Frysinger | misc updates | tree | commitdiff |