Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / lib / .gitignore
1 ## Ignore all .cm/ directories
2 .cm/
3
4 ## Ignore all .basis files
5 *.basis