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/installation/supported-platforms.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/installation/supported-platforms.xml')
0 files changed, 0 insertions, 0 deletions