]> granicus.if.org Git - graphviz/commitdiff
Merge pull request #1195 from ErwinJanssen/various-changes
authorJohn Ellson <john.ellson@comcast.net>
Thu, 5 Jan 2017 16:53:36 +0000 (11:53 -0500)
committerGitHub <noreply@github.com>
Thu, 5 Jan 2017 16:53:36 +0000 (11:53 -0500)
Various changes


Trivial merge