martin 2a5182090a Now that -Os is save again, use it.		2003-09-19 16:28:14 +00:00
..
bootfs	…
instfs	Now that -Os is save again, use it.	2003-09-19 16:28:14 +00:00
xminiroot	…
Makefile	…