]> granicus.if.org Git - graphviz/commitdiff
projects / graphviz / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cdb74e0 bc9b619)
Merge branch 'afabefdf-dab2-43e5-bacd-ece9214998cd' into 'master'
authorMatthew Fernandez <matthew.fernandez@gmail.com>
Tue, 22 Sep 2020 15:01:38 +0000 (15:01 +0000)
committerMatthew Fernandez <matthew.fernandez@gmail.com>
Tue, 22 Sep 2020 15:01:38 +0000 (15:01 +0000)
remove ad hoc name mangling in the gml parser

Closes #1806

See merge request graphviz/graphviz!1580


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