diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-10-25 15:12:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-25 15:12:22 +0200 |
commit | 6eea292727c2b47ed17fc5fa1ed09725eaed7948 (patch) | |
tree | b52eca918d2a5e33448bc2694878e03f220a74d2 /stdlib | |
parent | 50da04842b0c999d977bdb21c1dd3ee5f432f485 (diff) | |
download | ocaml-6eea292727c2b47ed17fc5fa1ed09725eaed7948.tar.gz |
Remove the dl_needs_underscore feature (#2115)
This feature could not be enabled anyway
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions