diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-03 09:11:47 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-03 09:11:47 +0200 |
commit | 69784189812fce435dbb688b02c3343ddda03a93 (patch) | |
tree | 65416d5b8283aa830caf84064723fdab4afdbf65 /dev/nsis | |
parent | c75805f735d6a7f9972fe9ae8214eebc97c20852 (diff) |
Fix proof terminators not being detected in presence of curly brackets (bug #4770).
This also fixes comments not being properly skipped when looking for eol.
Diffstat (limited to 'dev/nsis')
0 files changed, 0 insertions, 0 deletions