Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / debian / mlton-basis.install
CommitLineData
a441e504
WT
1usr/lib/mlton/include
2usr/lib/mlton/sml