Skip to content
This repository was archived by the owner on Jun 14, 2022. It is now read-only.

expose IdentifierOption enum to Python and use it instead of a string…#58

Merged
prehner merged 2 commits into
mainfrom
identifier_option
Jun 10, 2022
Merged

expose IdentifierOption enum to Python and use it instead of a string…#58
prehner merged 2 commits into
mainfrom
identifier_option

Commits

Commits on Jun 8, 2022

Commits on Jun 10, 2022