chiark / gitweb /
doc/meta.tex: Fix nonterminal `<...>' to `@<...>'.
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:31 +0000 (18:13 +0100)
commitba07ddc2280d5b8c8bd10e70cab195127a0984f3
treef045e745e0e3ccdade726f7cc05e072303a57c39
parent5e4a5d535e3314b0fd0d56a0d77a5354c423d56a
doc/meta.tex: Fix nonterminal `<...>' to `@<...>'.
doc/meta.tex