doc/syntax.tex: Fix source formatting.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 12 Aug 2019 10:07:58 +0000 (11:07 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 12 Aug 2019 10:07:58 +0000 (11:07 +0100)
commit81bc32d4cb701d598c3fc6ac83ca364253f12e96
tree360f93c21db186b9f4ae98af94a74e56fc926e13
parent6e26f47b940265ad1338c642b78fcb3447b0b355
doc/syntax.tex: Fix source formatting.
doc/syntax.tex