diff options
Diffstat (limited to 'otherlibs/num/test/Makefile.Mac.depend')
| -rw-r--r-- | otherlibs/num/test/Makefile.Mac.depend | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/otherlibs/num/test/Makefile.Mac.depend b/otherlibs/num/test/Makefile.Mac.depend deleted file mode 100644 index bda141c07a..0000000000 --- a/otherlibs/num/test/Makefile.Mac.depend +++ /dev/null @@ -1,10 +0,0 @@ -end_test.cmoÄ test.cmo -end_test.cmxÄ test.cmx -test_big_ints.cmoÄ test.cmo -test_big_ints.cmxÄ test.cmx -test_nats.cmoÄ test.cmo -test_nats.cmxÄ test.cmx -test_nums.cmoÄ test.cmo -test_nums.cmxÄ test.cmx -test_ratios.cmoÄ test.cmo -test_ratios.cmxÄ test.cmx |