diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-12 22:29:13 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-12 22:36:34 -0500 |
commit | 26bd4deb3b0a9b1a1aef3bf22539926241772bbf (patch) | |
tree | b5a2b0b1fe59de9d4bf3fc7e91388325c5d30e4f /COPYING | |
parent | 8090cd7bd9c9a80e189b381e63a7ce10f8c9f3ac (diff) |
Remove leading spaces and/or one newline from code blocks
listings is space-sensitive, so the common idiom
<<block name>>=
block body
@
gets typeset as
⟨block name⟩≡
block body
This is ugly, so remove all leading spaces up to the first newline (and
that newline itself, if appropriate) in each code block.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions