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)

No differences found