Skip to content

Let ID be every type, since it is allowed by#289

Merged
sergehuber merged 1 commit intoEnigmatis:masterfrom
KontextWork:feature/allow-any-id-type
May 5, 2023
Merged

Let ID be every type, since it is allowed by#289
sergehuber merged 1 commit intoEnigmatis:masterfrom
KontextWork:feature/allow-any-id-type

Commits

Commits on Jan 13, 2023