Rudi Grinberg 7b17fa013f Fix #717 ... Extensions should be removed from the map of basenames to mld paths		2018-04-29 00:52:29 +07:00
..
test-cases	Fix #717	2018-04-29 00:52:29 +07:00
cram.mll	Generate blackbox tests	2018-04-26 11:46:14 +01:00
gen_tests.ml	Add test showing odoc failure with index.mld	2018-04-29 00:34:53 +07:00
jbuild	Generate blackbox tests	2018-04-26 11:46:14 +01:00
jbuild-ignore	Reorganize tests	2017-08-11 11:36:33 +01:00
jbuild.inc	Add test showing odoc failure with index.mld	2018-04-29 00:34:53 +07:00
platform.ml	Generate blackbox tests	2018-04-26 11:46:14 +01:00