chiark
/
gitweb
/
~mdw
/
drwho
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
6370870
)
drwho.tex: More petty source styling.
author
Mark Wooding
<mdw@distorted.org.uk>
Thu, 25 Nov 2021 23:39:30 +0000
(23:39 +0000)
committer
Mark Wooding
<mdw@distorted.org.uk>
Thu, 25 Nov 2021 23:39:30 +0000
(23:39 +0000)
drwho.tex
patch
|
blob
|
blame
|
history
diff --git
a/drwho.tex
b/drwho.tex
index 5074bfaf61751e44ee0fda98bdafbb0c9cdb6906..168b78e0f08c7b2b849704d2b406dfafe233f87b 100644
(file)
--- a/
drwho.tex
+++ b/
drwho.tex
@@
-180,7
+180,7
@@
}
\edef\oldoutput{\the\output}
}
\edef\oldoutput{\the\output}
-%\output={\showbox255 \oldoutput}
+%
%
\output={\showbox255 \oldoutput}
\begin{document}
\begin{document}