Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / man / .gitignore
CommitLineData
7f918cf1
CE
1/*.pdf
2/*.ps