Name Last modified Size Description Parent Directory - Makefile 1994-03-21 22:00 145 Makefile.68K 1994-03-21 22:00 172 mined.h 1994-03-21 22:00 6.7K mined2.c.gz 1994-03-21 22:00 12K mined1.c.gz 1994-03-21 22:00 18K