diff options
Diffstat (limited to 'src/shell_manager.hh')
| -rw-r--r-- | src/shell_manager.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/shell_manager.hh b/src/shell_manager.hh index 8b930777..741faabc 100644 --- a/src/shell_manager.hh +++ b/src/shell_manager.hh @@ -41,4 +41,3 @@ private: } #endif // shell_manager_hh_INCLUDED - |