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)

No differences found