Merge: doc: fixed some typos and other misc. corrections
[nit.git] / misc / jenkins / checkbinaryfiles.sh
2017-04-27 Jean Privatjenkins: add checkbinaryfiles.sh