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	Change all ocurrences of "crunchgen" to ${CRUNCHGEN}	2000-11-01 07:57:55 +00:00
miniroot	On upgrades, or on installs where kern.tgz was installed, ask user wether	2000-11-14 22:37:58 +00:00