terminator/doc
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