]> granicus.if.org Git - graphviz/commitdiff
projects / graphviz / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 04708ce 9cea8ec)
Merge branch '8e5a4e12-19d8-431b-bdd0-1c86065d6d72' into 'master'
authorMatthew Fernandez <matthew.fernandez@gmail.com>
Fri, 9 Oct 2020 14:57:41 +0000 (14:57 +0000)
committerMatthew Fernandez <matthew.fernandez@gmail.com>
Fri, 9 Oct 2020 14:57:41 +0000 (14:57 +0000)
add configure option for controlling man page PDF generation

Closes #1763

See merge request graphviz/graphviz!1600


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