diff options
| author | Makarius Wenzel | 1999-10-27 15:20:49 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-10-27 15:20:49 +0000 |
| commit | 3972a7eccf83aa609d2a222223c1a51ed3a0cd20 (patch) | |
| tree | 718fa1f7bfa4395b4e20308f0cf4be2921423bda /etc/isa/multiple/foobar/foo.ML | |
| parent | fed6e45d564a7e2793540e1906e37fe8a8b2ea87 (diff) | |
test stray ML file;
Diffstat (limited to 'etc/isa/multiple/foobar/foo.ML')
| -rw-r--r-- | etc/isa/multiple/foobar/foo.ML | 4 |
1 files changed, 4 insertions, 0 deletions
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; |