Merge: Nitsmell : Adding new code smells and print console updated
[nit.git] / misc / jenkins / check_manpages.sh
2015-10-21 Jean Privatjenkins: add a script to check options in manpages