Skip to content

Do not run ocamldep on single module buildables#3847

Merged
rgrinberg merged 5 commits intoocaml:masterfrom rgrinberg:remove-ocamldep-single-moduleOct 9, 2020

Commits

Commits on Oct 9, 2020