Merge: Some more small improvements on gitlab-ci
[nit.git] / misc / jenkins / check_manpages.sh
2019-02-28 Alexis Laferrièremisc/check_manpages.sh: add -E option to sed for for...
2015-10-21 Jean Privatjenkins: add a script to check options in manpages