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

gzboot

…

instkernel

Update to newer sshd (the host key is the same as before, it already

2019-08-14 12:08:27 +00:00

Makefile

…