Okay, now that the old revisions have been recreated, deleting the file. The
[mmh] / mts / mmdf /
drwxr-xr-x   ..
-rw-r--r-- 1017 Makefile.in
-rw-r--r-- 1573 hosts.c