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	…
inst-common	We don't need to manually flush the buffer cache after ``vnconfig -u''	1998-01-26 23:50:54 +00:00
upgr	…
Makefile	…
Makefile.inc	…
list2sh.awk	…
runlist.sh	…