mnit simple : apparently, you can't name a sound file "sound"
[nit.git] / misc / jenkins / README
2014-08-28 Jean Privatmisc: make public some scripts used by Jenkins