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 | d99936faf68f6caa3608f0c597a183febd399e14 (patch) | |
| tree | 592064c86cd3910e931fbb37b07b02399e1af675 /scripts | |
| parent | 96015b4a54a7cdeb3f59ed6eae2394f4e86bb4e8 (diff) | |
| download | scintilla-mirror-d99936faf68f6caa3608f0c597a183febd399e14.tar.gz | |
Allow using C++11 <regex> for searches as a provisional feature.
Diffstat (limited to 'scripts')
| -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> |
