Merge: share/libgc: option to use a local version of the source pkgs
[nit.git] / misc / jenkins / README
2014-08-28 Jean Privatmisc: make public some scripts used by Jenkins