add option -dot-report-short to produce dot reports without installed deps#119
Open
iguerNL wants to merge 2 commits intoOCamlPro:next from iguerNL:dot-report-short
+26-14
Commits
Commits on Jun 6, 2019
- committedOCamlPro-Iguernlala
- committedOCamlPro-Iguernlala