Rudi Grinberg a34f71f922 Merge pull request #410 from rgrinberg/new-odoc-minimal ... New odoc rules (minimal)		2018-01-23 02:58:06 +08:00
..
test-cases	Merge pull request #410 from rgrinberg/new-odoc-minimal	2018-01-23 02:58:06 +08:00
cram.mll	Add support for conditional execution to cram	2017-12-11 14:07:09 +08:00
jbuild	Detect recursive includes (#435)	2018-01-22 11:32:40 +00:00
jbuild-ignore	Reorganize tests	2017-08-11 11:36:33 +01:00