Giorgos Keramidas 0f5222ad39 Remove references to the 'nodev' option. ... PR: docs/115981 Submitted by: rodrigc		2007-09-03 16:39:51 +00:00
..
article.sgml	Remove references to the 'nodev' option.	2007-09-03 16:39:51 +00:00
Makefile	Sync these Makefiles to have one style of declarations and comments.	2004-04-06 16:10:08 +00:00