tsutsui 9dd46b30d9 Use more shrinked x_foo binaries.		2020-06-13 19:15:43 +00:00
..
cdroms	Consistently use ${RELEASEDIR}/${RELEASEMACHINE} instead of	2019-09-23 13:42:30 +00:00
floppies	Use more shrinked x_foo binaries.	2020-06-13 19:15:43 +00:00
Makefile	…