doc/*.tex: Delete duplicate description entries.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 27 Jul 2019 16:11:12 +0000 (17:11 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 3 Aug 2019 15:27:41 +0000 (16:27 +0100)
commitae78face6879859559980a2c143e498396d898cd
tree2c370c4cb630ac92243434487e27ebdfcea0551e
parent737861671435a6fd1541ffc81e649534fed69a67
doc/*.tex: Delete duplicate description entries.
doc/clang.tex
doc/meta.tex
doc/misc.tex
doc/parsing.tex