Wed, 22 Mar 2023 15:06:51 +0100 GraphEdge: color, width, dashes
Tomas Zeman <tomas@functionals.cz> [Wed, 22 Mar 2023 15:06:51 +0100] rev 20
GraphEdge: color, width, dashes
(0) -10 -1 +1 tip