../ Makefile 19-Jun-2008 12:54 145 Makefile.68K 19-Jun-2008 12:54 172 mined.h 19-Jun-2008 12:54 6911 mined1.c.gz 19-Jun-2008 12:54 18739 mined2.c.gz 19-Jun-2008 12:54 12752