[Vm-dev] jenkins build generator image location

Camillo Bruni camillo.bruni at inria.fr
Wed Jan 18 16:35:09 UTC 2012


is there a particular reason why the generator image is under /build
I would prefer it under /image, or delete /image from the repos ;)


cami


More information about the Vm-dev mailing list