use arch and pldistro tag first, then /etc/planetlab/nodefamily, then defaults
[bootmanager.git] / dummy_bootloader / dummy_bootloader
2005-03-15 Aaron Klingamanadd the built file too, since it won't be changed much...