diff options
Diffstat (limited to 'otherlibs/dynlink/Makefile.Mac.depend')
| -rw-r--r-- | otherlibs/dynlink/Makefile.Mac.depend | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/otherlibs/dynlink/Makefile.Mac.depend b/otherlibs/dynlink/Makefile.Mac.depend deleted file mode 100644 index 6a7522b5be..0000000000 --- a/otherlibs/dynlink/Makefile.Mac.depend +++ /dev/null @@ -1,4 +0,0 @@ -dynlink.cmoÄ dynlink.cmi -dynlink.cmxÄ dynlink.cmi -extract_crc.cmoÄ dynlink.cmi -extract_crc.cmxÄ dynlink.cmx |