This repository has been archived by the owner on Jul 13, 2023. It is now read-only.

Offer renaming of ids #2

Open

MarcelGarus opened this issue Mar 12, 2020 · 0 comments

Labels

Collaborator

MarcelGarus commented Mar 12, 2020

Make it possible to rename ids.

MarcelGarus added the enhancement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.