martin 2a5182090a Now that -Os is save again, use it.		2003-09-19 16:28:14 +00:00
..
bootfs	Rename a large chunk of the make(1) variables which refer to a	2003-07-10 10:33:58 +00:00
instfs	Now that -Os is save again, use it.	2003-09-19 16:28:14 +00:00
xminiroot	Rename a large chunk of the make(1) variables which refer to a	2003-07-10 10:33:58 +00:00
Makefile	…