Merge: doc: fixed some typos and other misc. corrections
[nit.git] / misc / jenkins / checkwhitespaces.sh
2015-08-19 Jean Privatjenkins: add checkwhitespace to be a more explicit...