Module Name: src Committed By: christos Date: Sat Jul 16 22:50:15 UTC 2005 Modified Files: src/sys/conf: files Log Message: Defopt VERIFIED_EXEC* To generate a diff of this commit: cvs rdiff -r1.724 -r1.725 src/sys/conf/files Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.