no need to build separately bootcd master, this is now in *-tags.mk
[infrastructure.git] / logos / logo_inria.jpg
2007-02-14 buildcreation - updated after v4 deployment