Module Name:	basesrc
Committed By:	blymn
Date:		Sat Nov 23 11:24:04 UTC 2002

Modified Files:
	basesrc/distrib/sets/lists/man: mi obsolete.mi

Log Message:
Renamed verified exec fingerprint loader


To generate a diff of this commit:
cvs rdiff -r1.528 -r1.529 basesrc/distrib/sets/lists/man/mi
cvs rdiff -r1.56 -r1.57 basesrc/distrib/sets/lists/man/obsolete.mi

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.