missing files are reported better
authorewt <devnull@localhost>
Tue, 20 Feb 1996 22:18:36 +0000 (22:18 +0000)
committerewt <devnull@localhost>
Tue, 20 Feb 1996 22:18:36 +0000 (22:18 +0000)
commitc40c0b624cdca8eb912b27f66fd6d86044028fa9
tree5bc037f535295528215cdaaf871101836e602dc4
parentcffbf3f1d004135a3926d589ace685291a9c18a8
missing files are reported better

CVS patchset: 369
CVS date: 1996/02/20 22:18:36
verify.c