Skip to content

Makefile: add missing targets install and uninstall - #81

Merged
fblanqui merged 1 commit into
Deducteam:masterfrom
fblanqui:make
Oct 29, 2026
Merged

fblanqui merged 1 commit into
Deducteam:masterfrom
fblanqui:make

Conversation

@fblanqui

Copy link
Copy Markdown
Member

No description provided.

@fblanqui fblanqui changed the title fix Makefile Makefile: add missing targets install and uninstall Oct 29, 2026
@fblanqui
fblanqui merged commit af8937c into Deducteam:master Oct 29, 2026
1 of 2 checks passed
@fblanqui
fblanqui deleted the make branch October 29, 2026 15:42
@fblanqui
fblanqui restored the make branch October 30, 2026 13:40
@fblanqui
fblanqui deleted the make branch October 30, 2026 13:50
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