Import Debian changes 20180207-1 debian/20180207-1
[hcoop/debian/mlton.git] / bin /
drwxr-xr-x   ..
-rw-r--r-- 292 Makefile
-rwxr-xr-x 4332 add-cross
-rwxr-xr-x 5589 build-cross-gcc
-rwxr-xr-x 1030 clean
-rwxr-xr-x 267 host-arch
-rwxr-xr-x 265 host-os
-rwxr-xr-x 3131 ls-ignore
-rw-r--r-- 4175 mlton-script
-rwxr-xr-x 322 mmake
-rwxr-xr-x 281 patch-mingw
-rwxr-xr-x 1859 platform
-rwxr-xr-x 7508 regression
-rwxr-xr-x 241 run-docker
-rwxr-xr-x 2476 static-library
-rw-r--r-- 29 static-library.bat
-rwxr-xr-x 381 travis-ci