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

fix Makefile

1a35f6d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build (dev)
succeeded Oct 29, 2026 in 4m 10s