reinoud 366e81869c When building the installation kernel make the resulting name of the ... installation kernel more friendlier to RISC OS.		2002-03-19 11:50:45 +00:00
..
Makefile	When building the installation kernel make the resulting name of the	2002-03-19 11:50:45 +00:00