Skip to content

🔄Update JSON Schemas after #454 (ortsteil)#456

Merged
hf-kklein merged 1 commit intomainfrom
jsonschema-ortsteil
Feb 16, 2023
Merged

🔄Update JSON Schemas after #454 (ortsteil)#456
hf-kklein merged 1 commit intomainfrom
jsonschema-ortsteil

Conversation

@hf-kklein
Copy link
Copy Markdown
Contributor

No description provided.

@hf-kklein hf-kklein merged commit b7fedb1 into main Feb 16, 2023
@hf-kklein hf-kklein deleted the jsonschema-ortsteil branch February 16, 2023 16:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant