1 Jun
2021
1 Jun
'21
3:27 p.m.
Am 01.06.21 um 17:25 schrieb Davide Cittaro:
It seems this feature has already been requested :) https://git.skewed.de/count0/graph-tool/-/issues/671 <https://git.skewed.de/count0/graph-tool/-/issues/671>
Indeed! :-) -- Tiago de Paula Peixoto <tiago@skewed.de>