Skip to content

fix Makefile - #80

Merged
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:make
Oct 27, 2026
Merged

fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:make

Conversation

@fblanqui

Copy link
Copy Markdown
Member

No description provided.

@fblanqui
fblanqui merged commit 8e1bbb3 into Deducteam:master Oct 27, 2026
1 check passed
@fblanqui
fblanqui deleted the make branch October 27, 2026 20:51
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