terminator/doc
2010-06-18 13:07:02 +01:00
..
terminator_config.5 Switch plugins from being enabled by default to being disabled by default. An annoying change to have to make, but since almost nobody is using them yet, hopefully nobody will notice 2010-06-18 13:07:02 +01:00
terminator.1 Remove duplicate shortcut entry. Reported by Kees Cook 2010-04-09 12:31:15 +01:00