Rudi Grinberg 835a44ff1e Make name and names fields optional when public_name or public_names are present (#1041) ... 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.		2018-07-31 10:15:31 +02:00
..
test-cases	Make name and names fields optional when public_name or public_names are present (#1041)	2018-07-31 10:15:31 +02:00
cram.mll	Add List.assoc	2018-06-05 19:19:10 +01:00
dune	Rename %{@} to %{targets}	2018-07-06 18:45:43 +07:00
dune.inc	Make name and names fields optional when public_name or public_names are present (#1041)	2018-07-31 10:15:31 +02:00
gen_tests.ml	Re-enable reason in CI	2018-07-11 19:43:24 +02:00
platform.ml	Generate blackbox tests	2018-04-26 11:46:14 +01:00