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