Import Debian changes 20180207-1

[hcoop/debian/mlton.git] / debian / mlton-runtime-arm-linux-gnueabi.install

diff --git a/debian/mlton-runtime-arm-linux-gnueabi.install b/debian/mlton-runtime-arm-linux-gnueabi.install
new file mode 100644 (file)
index 0000000..f3b3791
--- /dev/null
+++ b/debian/mlton-runtime-arm-linux-gnueabi.install
@@ -0,0 +1 @@
+usr/lib/mlton/targets/arm-linux-gnueabi/*