bad 4da46852f5 We don't need to manually flush the buffer cache after ``vnconfig -u'' ... anymore.		1998-01-26 23:50:54 +00:00
..
inst	Add $HOME to profiles, closes pr 4323 (from Tatoku Ogaito)	1998-01-09 21:51:25 +00:00
inst-common	We don't need to manually flush the buffer cache after ``vnconfig -u''	1998-01-26 23:50:54 +00:00
upgr	Add $HOME to profiles, closes pr 4323 (from Tatoku Ogaito)	1998-01-09 21:51:25 +00:00
Makefile	…
Makefile.inc	…
list2sh.awk	…
runlist.sh	…