Skip to content

add development Makefile#9

Merged
mdheller merged 1 commit intomainfrom
p2
Apr 9, 2026
Merged

add development Makefile#9
mdheller merged 1 commit intomainfrom
p2

Conversation

@mdheller
Copy link
Copy Markdown
Member

@mdheller mdheller commented Apr 9, 2026

No description provided.

@mdheller mdheller merged commit 9aee9e5 into main Apr 9, 2026
4 checks passed
@mdheller mdheller deleted the p2 branch April 9, 2026 11:37
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