diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-06-08 22:33:32 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-06-08 22:33:32 +0100 |
| commit | 6cb7e20d54984494d98589213119a9e2accb0317 (patch) | |
| tree | 57841c8f9e1e72956eb0b7330faf3b0dbaa38bd1 /src/shell_manager.hh | |
| parent | cf8695cb84e3ccb8aeb3dcaf82a3f205a2c94d03 (diff) | |
Fix grep/make.kak with new behaviour for gl/gh
Diffstat (limited to 'src/shell_manager.hh')
0 files changed, 0 insertions, 0 deletions