# 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