]> granicus.if.org Git - graphviz/commitdiff
Merge branch 'pp' into 'master'
authorMark Hansen <mark@markhansen.co.nz>
Sun, 7 Jun 2020 07:59:30 +0000 (07:59 +0000)
committerMark Hansen <mark@markhansen.co.nz>
Sun, 7 Jun 2020 07:59:30 +0000 (07:59 +0000)
Replace a <PP> element with <P>

See merge request graphviz/graphviz!1408


Trivial merge