#! /bin/sh
# This is a shell archive. Remove anything before this line, then unpack
# it by saving it into a file and typing "sh file". To overwrite existing
# files, type "sh file -c". You can also feed this as standard input via
# unshar, or by typing "sh <file", e.g.. If this archive is complete, you
# will see the following message at the end:
# "End of shell archive."
# Contents: READMEC zufall.c
# Wrapped by wpp@yukon on Mon Oct 17 10:23:12 1994
f test -f 'READMEC' -a "${1}" != "-c" ; then
echo shar: Will not clobber existing file \"'READMEC'\"
else
echo shar: Extracting \"'READMEC'\" \(2984 characters\)
END_OF_FILE
f test 2984 -ne `wc -c <'READMEC'`; then
echo shar: \"'READMEC'\" unpacked with wrong size!
fi
# end of 'READMEC'
fi
f test -f 'zufall.c' -a "${1}" != "-c" ; then
echo shar: Will not clobber existing file \"'zufall.c'\"
else
echo shar: Extracting \"'zufall.c'\" \(17299 characters\)
END_OF_FILE
f test 17299 -ne `wc -c <'zufall.c'`; then
echo shar: \"'zufall.c'\" unpacked with wrong size!
fi
# end of 'zufall.c'
fi
echo shar: End of shell archive.
exit 0
.