Skip to content

Rename JBUILDER_GEN to DUNE_GEN#958

Merged
rgrinberg merged 2 commits intoocaml:masterfrom rgrinberg:dune-gen-metaJul 6, 2018

Commits