X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=tiger%2Fsrc%2Fexe%2Ftiger_tests.mli;fp=tiger%2Fsrc%2Fexe%2Ftiger_tests.mli;h=0000000000000000000000000000000000000000;hb=cda83e5ec171672a59966d2bd9cd28bd7a8fe083;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=46486dc8836fede7e00aaa614d99d98ed7646bdc;p=tiger.ml.git

diff --git a/tiger/src/exe/tiger_tests.mli b/tiger/src/exe/tiger_tests.mli
deleted file mode 100644
index e69de29..0000000