From 7bbf5ae5efa7a4750af220b4d315f15a1d686f42 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 25 Nov 2021 23:39:30 +0000
Subject: [PATCH] drwho.tex: More petty source styling.

---
 drwho.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drwho.tex b/drwho.tex
index 5074bfa..168b78e 100644
--- a/drwho.tex
+++ b/drwho.tex
@@ -180,7 +180,7 @@
 }
 
 \edef\oldoutput{\the\output}
-%\output={\showbox255 \oldoutput}
+%%\output={\showbox255 \oldoutput}
 
 \begin{document}
 
-- 
2.11.0