]> granicus.if.org Git - graphviz/commitdiff
Merge branch 'ci' into 'master'
authorMark Hansen <mark@markhansen.co.nz>
Sun, 7 Jun 2020 07:47:13 +0000 (07:47 +0000)
committerMark Hansen <mark@markhansen.co.nz>
Sun, 7 Jun 2020 07:47:13 +0000 (07:47 +0000)
Close <ul> tag.

See merge request graphviz/graphviz!1407


Trivial merge