chiark / gitweb /
doc/syntax.tex: Replace `listing' environments with `prog'.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 26 May 2016 08:26:09 +0000 (09:26 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 22 Jul 2017 17:13:30 +0000 (18:13 +0100)
commit7119ea4ebe5d0bd756adfb12dde51a113ae408b0
treebc1a14d574c25fcdd10d69c9ed4c74c322af0f57
parent8d952432c8b961e4e0891eb78620615a8ae14f05
doc/syntax.tex: Replace `listing' environments with `prog'.
doc/syntax.tex