summaryrefslogtreecommitdiff
path: root/dune
diff options
context:
space:
mode:
authorNicolás Ojeda Bär <n.oje.bar@gmail.com>2018-10-10 17:01:43 +0200
committerGitHub <noreply@github.com>2018-10-10 17:01:43 +0200
commit8e801959e84e73219190dedad0b5b62b1f4f50a3 (patch)
tree6bf99b08471e14d8180b247726f11adb87c18973 /dune
parentf5f117ea286937d05aa768d56b014cbc3e99077a (diff)
parent795a9a2190e6d682e0bb65345fbfb9148af31b4c (diff)
downloadocaml-8e801959e84e73219190dedad0b5b62b1f4f50a3.tar.gz
Merge pull request #1841 from nojb/toplevel_include_path_env_var
Add support for OCAMLTOP_INCLUDE_PATH environment variable
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions