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