doc/misc.tex: Fix copied-and-pasted section label.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 27 Jul 2019 16:06:03 +0000 (17:06 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 3 Aug 2019 15:27:40 +0000 (16:27 +0100)
commit8fc2932b86456a72b6504eb1af4ecbe87ade827e
tree44b8db48c679213a79398379a7af5bcf2ddc2f50
parent46a4727dd83aa96b951289c8433d838c7a52ba12
doc/misc.tex: Fix copied-and-pasted section label.
doc/misc.tex