# HG changeset patch
# User nipkow
# Date 1014723798 -3600
# Node ID 3f468029f5dad822e91d372f5ca6c2b8821fb97d
# Parent  75447c74381074b7b42e19a14b19372ef933d494
*** empty log message ***

diff -r 75447c743810 -r 3f468029f5da doc-src/TutorialI/free-copies
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/TutorialI/free-copies	Tue Feb 26 12:43:18 2002 +0100
@@ -0,0 +1,8 @@
+David Aspinall
+Stefan Berghofer
+David von Oheimb
+Leonor Prensa Nieto
+Cornelia Pusch
+Norbert Schirmer
+Martin Strecker
+Stephan Merz