-
Julien Muchembled authored
Unexpectedly, and contrary to 'dot', Graphviz does not draw it with penwidth=0 (without, that of the other side is striked). And anyway, we can just look at the label to see if there's a route.
77c9df3b
Unexpectedly, and contrary to 'dot', Graphviz does not draw it with penwidth=0 (without, that of the other side is striked). And anyway, we can just look at the label to see if there's a route.