diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-08-26 19:34:19 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-08-26 19:34:19 +0100 |
| commit | 04536657d1292f330e2e7b7e45512268119eb25e (patch) | |
| tree | d09f103d2038c0361aa2facc714d0eba235ef966 /src/command_manager.cc | |
| parent | 0c41c141875dd91a12e20fa99fc7876d0ee8a792 (diff) | |
Add a kill command that kills the current session
Fixes #331
A given session can be killed with 'echo kill | kak -p <session>'
Diffstat (limited to 'src/command_manager.cc')
0 files changed, 0 insertions, 0 deletions