Skip to content

add 117 infotip format#48

Merged
jakobharder merged 1 commit intomasterfrom
devel/infotip-format
Sep 3, 2025
Merged

add 117 infotip format#48
jakobharder merged 1 commit intomasterfrom
devel/infotip-format

Conversation

@jakobharder
Copy link
Contributor

No description provided.

@jakobharder jakobharder merged commit 6575e80 into master Sep 3, 2025
1 check failed
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