is d007549576 On upgrades, or on installs where kern.tgz was installed, ask user wether ... the installed kernel should be replaced by the miniroot kernel.		2000-11-14 22:37:58 +00:00
..
floppies	…
miniroot	On upgrades, or on installs where kern.tgz was installed, ask user wether	2000-11-14 22:37:58 +00:00