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 /template.tex | |
| parent | 7cff0f390703306060d1db9852063b67d6707303 (diff) | |
Simplify push_delimiter
Always modify the subject when pushing a delimiter.
Diffstat (limited to 'template.tex')
0 files changed, 0 insertions, 0 deletions