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