chiark / gitweb /
doc/syntax.tex: Delete (wrong) duplicate rule for <argument-declarator>.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 16 May 2018 09:08:16 +0000 (10:08 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 8 Jun 2018 19:08:03 +0000 (20:08 +0100)
commit7b7947024fedb0bb7a0ea3ccb0029f6060de901b
tree2141d0d41864ee12332a1d3a0ce61b60ab81b093
parentcee29adc008fad567ab47162b54eeca1de2c5064
doc/syntax.tex: Delete (wrong) duplicate rule for <argument-declarator>.
doc/syntax.tex