[alex @ 2005-01-27 18:42:01 by panne] * Do nothing here during "make boot" (no idea what actually changed in   the build system to make this change necessary)
[alex @ 2005-01-27 18:42:01 by panne]
* Do nothing here during "make boot" (no idea what actually changed in
  the build system to make this change necessary)

* Continued my crusade against the evil $Id:$  >:-)

beni55/alex,sol/alex,hvr/alex,beni55/alex,Teino1978-Corp/Teino1978-Corp-alex,alanz/Alex,alanz/Alex,simonmar/alex,simonmar/alex,Teino1978-Corp/Teino1978-Corp-alex,sol/alex,hvr/alex