mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-07 19:36:23 +02:00
so that PIN information including USE and CLASS are added to port labels (previously only the bounding box was annotated).
so that PIN information including USE and CLASS are added to port labels (previously only the bounding box was annotated).