tsutsui 09e4bbfffd Change directory name (floppies -> floppy) like other ports.		2000-06-14 10:24:24 +00:00
..
floppies	Change directory name (floppies -> floppy) like other ports.	2000-06-14 10:24:24 +00:00
Makefile	- Build an INSTALL kernel on the separate directory.	2000-06-11 11:35:18 +00:00