chiark / gitweb /
drwho.tex: More petty source styling.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 25 Nov 2021 23:39:30 +0000 (23:39 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 25 Nov 2021 23:39:30 +0000 (23:39 +0000)
drwho.tex

index 5074bfaf61751e44ee0fda98bdafbb0c9cdb6906..168b78e0f08c7b2b849704d2b406dfafe233f87b 100644 (file)
--- a/drwho.tex
+++ b/drwho.tex
 }
 
 \edef\oldoutput{\the\output}
 }
 
 \edef\oldoutput{\the\output}
-%\output={\showbox255 \oldoutput}
+%%\output={\showbox255 \oldoutput}
 
 \begin{document}
 
 
 \begin{document}