chiark / gitweb /
doc/{runtime,structures}.tex: Fix careless transfer from the manpages.
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)
commit02840f3dba856d042fe27a0adfb0367346447cda
tree9a083b3844c41043ec952437859cd96026f7a348
parentba07ddc2280d5b8c8bd10e70cab195127a0984f3
doc/{runtime,structures}.tex: Fix careless transfer from the manpages.
doc/runtime.tex
doc/structures.tex