]> granicus.if.org Git - graphviz/commitdiff
Merge branch 'ps' into 'master'
authorMark Hansen <mark@markhansen.co.nz>
Thu, 22 Oct 2020 09:57:59 +0000 (09:57 +0000)
committerMark Hansen <mark@markhansen.co.nz>
Thu, 22 Oct 2020 09:57:59 +0000 (09:57 +0000)
attrs.html: don't special-case double/int/string

See merge request graphviz/graphviz!1633


Trivial merge