Chris Jones 7522bb2b9d Deprecate the hide_tabbar config option and instead add a 'hidden' value to tab_position and update the code/UI/docs accordingly.		2010-07-03 20:42:33 +01:00
..
terminator_config.5	Deprecate the hide_tabbar config option and instead add a 'hidden' value to tab_position and update the code/UI/docs accordingly.	2010-07-03 20:42:33 +01:00
terminator.1	Remove duplicate shortcut entry. Reported by Kees Cook	2010-04-09 12:31:15 +01:00