garbled 83f61a5891 Change all ocurrences of "crunchgen" to ${CRUNCHGEN}		2000-11-01 07:57:55 +00:00
..
instkernel	Change all ocurrences of "crunchgen" to ${CRUNCHGEN}	2000-11-01 07:57:55 +00:00
miniroot	sweep of my licenses for consistency. (no functional changes) These	2000-06-14 22:52:37 +00:00
Makefile	…