Skip to content

Make graphviz font configurable#76794

Merged
bors merged 2 commits intorust-lang:masterfrom
richkadel:graphviz-font
Sep 16, 2020
Merged

Make graphviz font configurable#76794
bors merged 2 commits intorust-lang:masterfrom
richkadel:graphviz-font

Commits

Commits on Sep 16, 2020