diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-08-29 21:49:36 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-08-29 21:49:36 +0200 |
| commit | bbce6b22a3e04fe900ac9565b0703304d651b63a (patch) | |
| tree | 5c58c76a93534fec3a0c6bcfb477291f1b95aded /src/shell_manager.hh | |
| parent | 8febec0bcf48369336cf94bac889ac27d90c6821 (diff) | |
remove regex.hh, define Regex directly in string.hh
Diffstat (limited to 'src/shell_manager.hh')
| -rw-r--r-- | src/shell_manager.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/shell_manager.hh b/src/shell_manager.hh index 37d47b32..6ce3aada 100644 --- a/src/shell_manager.hh +++ b/src/shell_manager.hh @@ -2,7 +2,7 @@ #define shell_manager_hh_INCLUDED #include "utils.hh" -#include "regex.hh" +#include "string.hh" #include <unordered_map> |