chiark / gitweb /
distorted: Switch around the ntp servers.
[zones] / distorted.tex
index 95904b6c7fbf35b0d4abd5859d38544ce275facb..1ec0db219b9ef29562a0f7bc6bf0b5283d5bb511 100644 (file)
@@ -1,7 +1,3 @@
-%&distorted
-
-\ifx\dumped\xxundefined
-
 \documentclass[article, a4paper, 10pt, notitlepage, numbering]{strayman}
 \usepackage[palatino, helvetica, maths=cmr]{mdwfonts}
 \usepackage[T1]{fontenc}
@@ -28,8 +24,6 @@
 
 \errorcontextlines=999
 
-\let\dumped\relax\expandafter\dump\fi
-
 \begin{document}
 \title{@l{distorted.org.uk} network design}
 \author{Mark Wooding}