Hendrik Brucker 1bea64a295 [Graph editors] Keep port icons crisp at high zoom levels, remove rim artifacts

2023-07-10 15:09:40 +02:00

1 line

134 B

XML

Raw Blame History