diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-24 04:56:27 +0200 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-24 12:10:41 +0200 |
commit | 3fedd01838fbba1e6d0b79eb41bd26eb1572e303 (patch) | |
tree | c03f06dcb3e637031d7d6cd8f191e69924171ee7 /Makefile.install | |
parent | f062b07eea7d06c6a762402e81630b091211d1c6 (diff) |
remove an old workaround for OCaml 3.11 + MacOS natdynlink
Diffstat (limited to 'Makefile.install')
0 files changed, 0 insertions, 0 deletions