diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-03-28 15:26:14 +0100 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-06-22 10:50:16 +0200 |
commit | 333d41a9a28767ab146aab0527ff2b235bbd31a7 (patch) | |
tree | e8ade79a927b0fb5546a179394629d0893fbc826 /.gitignore | |
parent | 851539eca5016da98253308749131abae3ec7b93 (diff) |
All invocations to ocaml compilers go through ocamlfind
Nothing is done for camlp4
There is an issue with computing camlbindir
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions