Name Last modified Size Description Parent Directory - mined1.c.gz 1994-03-21 22:00 18K mined2.c.gz 1994-03-21 22:00 12K mined.h 1994-03-21 22:00 12K Makefile 1994-03-21 22:00 256 log 1994-03-21 22:00 115