jenkins: add a script to check options in manpages
[nit.git] / misc / bash_completion /
drwxr-xr-x   ..
-rw-r--r-- 1335 nit