# HG changeset patch # User kleing # Date 1081379060 -7200 # Node ID cd6985ffd8681c0efe3c3831ddc090d1856638b5 # Parent 1457584110ac57adeda80e843736b4589f227f18 fix time tag of session.tex diff -r 1457584110ac -r cd6985ffd868 doc-src/Exercises/2003/a1/generated/session.tex --- a/doc-src/Exercises/2003/a1/generated/session.tex Wed Apr 07 20:42:13 2004 +0200 +++ b/doc-src/Exercises/2003/a1/generated/session.tex Thu Apr 08 01:04:20 2004 +0200 @@ -1,5 +1,6 @@ \input{a1.tex} + %%% Local Variables: %%% mode: latex %%% TeX-master: "root"