bad 4da46852f5 We don't need to manually flush the buffer cache after ``vnconfig -u'' ... anymore.		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
ramdisk	We don't need to manually flush the buffer cache after ``vnconfig -u''	1998-01-26 23:50:54 +00:00
Makefile.inc	mvme68k specific makefile for Mi miniroot	1997-12-17 21:56:56 +00:00