-
Alexandre Duret-Lutz authored
The related GraphViz issue is https://gitlab.com/graphviz/graphviz/-/issues/2179 * spot/twaalgos/dot.cc: Avoid initial newline in title. * NEWS: Mention the bug. * tests/core/det.test, tests/core/dstar.test, tests/core/neverclaimread.test, tests/python/automata-io.ipynb: Adjust test cases.
da681e6b
To find the state of this project's repository at the time of any of these versions, check out the tags.