Merge: Some more small improvements on gitlab-ci
[nit.git] / share / man / .gitignore
1 man1
2 www
3 pdf.out