Subject: CVS commit: src
To: None <source-changes@netbsd.org>
From: Ken Hornstein <kenh@netbsd.org>
List: source-changes
Date: 12/01/1998 14:29:27 
Module Name:	src
Committed By:	kenh
Date:		Tue Dec  1 22:29:27 UTC 1998

Modified Files:
	src/share/man/man4: options.4
Log Message:
NODEVMTIME is going away.