Import Debian changes 20180207-1 debian/20180207-1
[hcoop/debian/mlton.git] / doc / license /
drwxr-xr-x   ..
-rw-r--r-- 19 .gitignore
-rw-r--r-- 1431 MLKit-LICENSE
lrwxrwxrwx 13 MLton-LICENSE -> ../../LICENSE
-rw-r--r-- 1276 NEC-LICENSE
-rw-r--r-- 1070 NJ-LICENSE
-rw-r--r-- 1136 README
-rw-r--r-- 1202 gdtoa-LICENSE