This repository has been archived by the owner on Oct 30, 2021. It is now read-only.

Add exception list for --remove-unreferenced-ids #226

Closed

Artoria2e5 opened this issue Jan 10, 2021 · 2 comments

Artoria2e5 commented Jan 10, 2021

The human user should be able to come up with a list of actually referenced IDs.

KjellMorgenstern commented May 17, 2021

I think this is a duplicate of #218

Author

Artoria2e5 commented May 18, 2021

It is!

Artoria2e5 closed this as completed

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