Extensions should be removed from the map of basenames to mld paths |
||
---|---|---|
.. | ||
test-cases | ||
cram.mll | ||
gen_tests.ml | ||
jbuild | ||
jbuild-ignore | ||
jbuild.inc | ||
platform.ml |
Extensions should be removed from the map of basenames to mld paths |
||
---|---|---|
.. | ||
test-cases | ||
cram.mll | ||
gen_tests.ml | ||
jbuild | ||
jbuild-ignore | ||
jbuild.inc | ||
platform.ml |