aboutsummaryrefslogtreecommitdiffhomepage
path: root/myocamlbuild.ml
diff options
context:
space:
mode:
authorGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2016-04-26 06:06:17 +0200
committerGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2016-04-27 21:55:49 +0200
commit857dc0aaae30805725da213b6550dc1ff3a7adb2 (patch)
tree2f083695ad7d49fff21a572fd4969a06d01fedcc /myocamlbuild.ml
parent239f30c2070018db88e568acca6c9054f650ca38 (diff)
Fixing a mispelling coma -> comma.
Diffstat (limited to 'myocamlbuild.ml')
0 files changed, 0 insertions, 0 deletions