diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2017-07-10T09·45+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-10T09·45+0200 |
commit | 1762b9616cf8786270b2efb55800a8036574ed21 (patch) | |
tree | 244a686d68695c6aee879fa18407b5a3dcdd5aa7 /doc/manual/command-ref/opt-common-syn.xml | |
parent | d3713716b6b057852bca4fe6bcba21c946228a42 (diff) | |
parent | 17bb00d378aea9ea7f7f27618bd736f2c47e3de2 (diff) |
Merge pull request #1428 from rimmington/clearer-regex-space-error
Clearer error message when regex exceeds space limit
Diffstat (limited to 'doc/manual/command-ref/opt-common-syn.xml')
0 files changed, 0 insertions, 0 deletions