Make name field optional when public_name is specified When name is omitted, it will be defaulted to public_name This feature is 1.1 only. |
||
---|---|---|
.. | ||
test-cases | ||
cram.mll | ||
dune | ||
dune.inc | ||
gen_tests.ml | ||
platform.ml |
Make name field optional when public_name is specified When name is omitted, it will be defaulted to public_name This feature is 1.1 only. |
||
---|---|---|
.. | ||
test-cases | ||
cram.mll | ||
dune | ||
dune.inc | ||
gen_tests.ml | ||
platform.ml |