Merge: lib/config: fix doc
[nit.git] / misc / jenkins / checkbinaryfiles.sh
2017-04-27 Jean Privatjenkins: add checkbinaryfiles.sh