From 3972a7eccf83aa609d2a222223c1a51ed3a0cd20 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 27 Oct 1999 15:20:49 +0000
Subject: test stray ML file;

---
 etc/isa/multiple/foobar/foo.ML | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 etc/isa/multiple/foobar/foo.ML

(limited to 'etc/isa/multiple/foobar/foo.ML')

diff --git a/etc/isa/multiple/foobar/foo.ML b/etc/isa/multiple/foobar/foo.ML
new file mode 100644
index 00000000..25084a22
--- /dev/null
+++ b/etc/isa/multiple/foobar/foo.ML
@@ -0,0 +1,4 @@
+
+val foo = "foo";
+
+val bar = 1;
-- 
cgit v1.2.3