diff options
author | w0rp <devw0rp@gmail.com> | 2021-03-20 22:11:22 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2021-03-20 22:11:42 +0000 |
commit | b1d833417bcb57e265e0d01df07b28f463529d4b (patch) | |
tree | 11421aeca89127b0cc9417f8ff4cb0d725199f49 /test/smlnj | |
parent | 3838ae118d8f05fa1b1be7952a1c8aa3055d6728 (diff) | |
download | ale-b1d833417bcb57e265e0d01df07b28f463529d4b.zip |
#3633 - Put all dummy test files in test/test-files
Diffstat (limited to 'test/smlnj')
-rw-r--r-- | test/smlnj/cm/foo.sml | 0 | ||||
-rw-r--r-- | test/smlnj/cm/path/to/bar.sml | 0 | ||||
-rw-r--r-- | test/smlnj/cm/sources.cm | 0 | ||||
-rw-r--r-- | test/smlnj/file/qux.sml | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/test/smlnj/cm/foo.sml b/test/smlnj/cm/foo.sml deleted file mode 100644 index e69de29b..00000000 --- a/test/smlnj/cm/foo.sml +++ /dev/null diff --git a/test/smlnj/cm/path/to/bar.sml b/test/smlnj/cm/path/to/bar.sml deleted file mode 100644 index e69de29b..00000000 --- a/test/smlnj/cm/path/to/bar.sml +++ /dev/null diff --git a/test/smlnj/cm/sources.cm b/test/smlnj/cm/sources.cm deleted file mode 100644 index e69de29b..00000000 --- a/test/smlnj/cm/sources.cm +++ /dev/null diff --git a/test/smlnj/file/qux.sml b/test/smlnj/file/qux.sml deleted file mode 100644 index e69de29b..00000000 --- a/test/smlnj/file/qux.sml +++ /dev/null |