chiark / gitweb /
doc/output.tex: Add the `user' and `early-user' output items to comment.
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)
commita3e1423b06af77cd64f729a8a1a598118bd09f4f
tree6937ad1786f54af1d2b7acc54eb277a214f9668f
parent888d5e58c8cff289ff56a9282608c153b402191c
doc/output.tex: Add the `user' and `early-user' output items to comment.
doc/output.tex