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 <ti...@skewed.de> _______________________________________________ graph-tool mailing list -- graph-tool@skewed.de To unsubscribe send an email to graph-tool-le...@skewed.de
