Skip to content

Run refmt from the context's root dir#2223

Merged
rgrinberg merged 1 commit intoocaml:masterfrom rgrinberg:refmt-correct-dirJun 1, 2019
+49-19

Commits

Commits on Jun 1, 2019