christos 7e81d727bc Consistently use ${RELEASEDIR}/${RELEASEMACHINE} instead of ... ${RELEASEDIR}/${MACHINE} (Paul Ripke)		2019-09-23 13:42:30 +00:00
..
cdroms	Consistently use ${RELEASEDIR}/${RELEASEMACHINE} instead of	2019-09-23 13:42:30 +00:00
instkernel	…
miniroot	adjust miniroot scripts to deal with the time prefix in dmesg	2019-04-10 14:52:53 +00:00
ramdisk	increase ramdisk size for gcc48.	2015-01-23 03:40:25 +00:00
Makefile	…