aboutsummaryrefslogtreecommitdiffhomepage
path: root/myocamlbuild.ml
diff options
context:
space:
mode:
authorGravatar Pierre Boutillier <pierre.boutillier@ens-lyon.org>2015-03-28 17:44:51 +0100
committerGravatar Pierre Boutillier <pierre.boutillier@ens-lyon.org>2015-06-22 10:50:16 +0200
commit6d351cb0e30700f7d4f719ab8d56b9728188ae23 (patch)
tree71cd33a2367e1c962cafc4c5d9781111ff85345c /myocamlbuild.ml
parent333d41a9a28767ab146aab0527ff2b235bbd31a7 (diff)
update gitignore
Diffstat (limited to 'myocamlbuild.ml')
0 files changed, 0 insertions, 0 deletions