No longer needed. Fixed the right way.
[bootmanager.git] / Makefile
2007-11-22 Thierry ParmentelatA few goodies from onelab's bootmanager