diff options
author | Nick Wellnhofer <wellnhofer@aevum.de> | 2014-11-29 20:45:48 +0100 |
---|---|---|
committer | Nick Wellnhofer <wellnhofer@aevum.de> | 2014-11-30 16:05:34 +0100 |
commit | ffdf6ed373fa38d2bfd2f2e51cfe5db742ae6b77 (patch) | |
tree | 47196f05c71be5dcb497ab88b7142852a4876a4f /src/scanners.re | |
parent | 7cff0f390703306060d1db9852063b67d6707303 (diff) |
Simplify push_delimiter
Always modify the subject when pushing a delimiter.
Diffstat (limited to 'src/scanners.re')
0 files changed, 0 insertions, 0 deletions