Anna Wiggins a1defec029 Modify terminal configs to be simpler and to work with modern gnome-terminal. The 'position' property in the window matching needs work, but this is better than the non-feature I had before.		2015-08-31 15:33:17 -04:00
..
rc	Modify terminal configs to be simpler and to work with modern gnome-terminal. The 'position' property in the window matching needs work, but this is better than the non-feature I had before.	2015-08-31 15:33:17 -04:00