]> granicus.if.org Git - graphviz/commitdiff
projects / graphviz / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b290c27 8fb5a0c)
Merge branch 'fix-gvedit-usage' into 'master'
authorMagnus Jacobsson <magnus.jacobsson@berotec.se>
Fri, 11 Sep 2020 05:54:50 +0000 (05:54 +0000)
committerMagnus Jacobsson <magnus.jacobsson@berotec.se>
Fri, 11 Sep 2020 05:54:50 +0000 (05:54 +0000)
Fix gvedit usage + misc cleanup of gvedit make

Closes #1813

See merge request graphviz/graphviz!1561


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