Skip to content

Fix some more german rules - #686

Merged
moritz-gross merged 2 commits into
daisy:mainfrom
moritz-gross:fix-some-more-german-rules
Aug 15, 2026
Merged

Fix some more german rules#686
moritz-gross merged 2 commits into
daisy:mainfrom
moritz-gross:fix-some-more-german-rules

Conversation

@moritz-gross

Copy link
Copy Markdown
Collaborator

ok I found more

@moritz-gross
moritz-gross merged commit 96e19a6 into daisy:main Aug 15, 2026
8 checks passed
@github-project-automation github-project-automation Bot moved this from Triage to Done in MathCAT Project Board Aug 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant