[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