diff options
| author | Maxime Coste <mawww@kakoune.org> | 2017-03-16 09:57:39 +0000 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2017-03-16 09:57:39 +0000 |
| commit | 5f7464d90d0bfe641dd2c7bbbca6e78d92d9d818 (patch) | |
| tree | 2f83259b53104545893c7e59f7a96d04e037278e /src/shell_manager.cc | |
| parent | 7eaa05845043420c8f8c58932667b71b6784714a (diff) | |
Try to clean up option include a bit
Diffstat (limited to 'src/shell_manager.cc')
| -rw-r--r-- | src/shell_manager.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/shell_manager.cc b/src/shell_manager.cc index 78147d76..ad7f18ed 100644 --- a/src/shell_manager.cc +++ b/src/shell_manager.cc @@ -8,6 +8,7 @@ #include "face_registry.hh" #include "file.hh" #include "flags.hh" +#include "option.hh" #include "regex.hh" #include <cstring> |