# HG changeset patch
# User kleing
# Date 1046597571 -3600
# Node ID 5a04de077a9f1547d5500ec72e7d3829d1f47f22
# Parent  44f741cdcea3e691bf203e7031fb6d40c84ed7da
get cvs to change modified time for session.tex

diff -r 44f741cdcea3 -r 5a04de077a9f doc-src/Exercises/2002/a1/generated/session.tex
--- a/doc-src/Exercises/2002/a1/generated/session.tex	Sat Mar 01 19:34:54 2003 +0100
+++ b/doc-src/Exercises/2002/a1/generated/session.tex	Sun Mar 02 10:32:51 2003 +0100
@@ -1,6 +1,6 @@
 \input{a1.tex}
 
-%%% Local Variables:
+%%% Local Variables: 
 %%% mode: latex
 %%% TeX-master: "root"
 %%% End: