]> granicus.if.org Git - graphviz/commitdiff
projects / graphviz / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2a62483 7fee445)
Merge branch 'master' into 'master'
authorJohn Ellson <john.ellson@gmail.com>
Sat, 8 Sep 2018 12:18:13 +0000 (12:18 +0000)
committerJohn Ellson <john.ellson@gmail.com>
Sat, 8 Sep 2018 12:18:13 +0000 (12:18 +0000)
Several usability improvements for dotty

See merge request graphviz/graphviz!1289


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.