diff options
author | Neil <nyamatongwe@gmail.com> | 2014-10-02 18:17:13 +1000 |
---|---|---|
committer | Neil <nyamatongwe@gmail.com> | 2014-10-02 18:17:13 +1000 |
commit | 2603f1e2074b0f880886b533ffc47ecef4fd33f7 (patch) | |
tree | 53bfaff1eca31d0768f43d0c496c81b551230a2d /scripts/HeaderOrder.txt | |
parent | 8c42cc95ae3fbfdb8d4b7e8893c2fee283efe1a6 (diff) | |
download | scintilla-mirror-2603f1e2074b0f880886b533ffc47ecef4fd33f7.tar.gz |
Allow using C++11 <regex> for searches as a provisional feature.
Diffstat (limited to 'scripts/HeaderOrder.txt')
-rw-r--r-- | scripts/HeaderOrder.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt index 8339c93d5..e9c88bb3f 100644 --- a/scripts/HeaderOrder.txt +++ b/scripts/HeaderOrder.txt @@ -30,6 +30,7 @@ #include <set> #include <algorithm> #include <memory> +#include <regex> // GTK+ headers #include <glib.h> |