bad 4da46852f5 We don't need to manually flush the buffer cache after ``vnconfig -u'' ... anymore.		1998-01-26 23:50:54 +00:00
..
floppies	We don't need to manually flush the buffer cache after ``vnconfig -u''	1998-01-26 23:50:54 +00:00
miniroot	Add $HOME to profiles, closes pr 4323 (from Tatoku Ogaito)	1998-01-09 21:51:25 +00:00