Skip to content

Update main branch#15

Merged
daniel-jettka merged 80 commits intomainfrom
update-main-branch
Dec 15, 2025
Merged

Update main branch#15
daniel-jettka merged 80 commits intomainfrom
update-main-branch

Conversation

@Diginaut
Copy link
Copy Markdown
Member

@Diginaut Diginaut commented May 6, 2025

Bring main branch up to date

bwbohl and others added 27 commits February 18, 2022 11:21
* also adding xml declaration
* update cartography
* format and indent
* fix duplcicate surface xml:ids
* closes #11
remove unused build directory
@daniel-jettka daniel-jettka merged commit 7230a6a into main Dec 15, 2025
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.

6 participants