Skip to content

Could we have a feature to delete unwanted pin_group and ports? #2443

Closed
raindigoa started this conversation in Ideas
Discussion options

You must be logged in to vote

Replies: 2 comments 4 replies

Comment options

You must be logged in to vote
1 reply
@raindigoa
Comment options

Comment options

You must be logged in to vote
3 replies
@raindigoa
Comment options

@hui-zhou-a
Comment options

@raindigoa
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Ideas
Labels
None yet
3 participants