Resolve "[makefile] issues" (!26) · Merge requests · pub / Why3find · GitLab

Snippets Groups Projects

Project 'dev/why3find' was moved to 'pub/why3find'. Please update any links and bookmarks that may still have the old path.

Merged Loïc Correnson requested to merge 31-makefile-issues into master 1 year ago

Closes #31 (closed)

Activity

Loïc Correnson added bug label 1 year ago

added bug label
Loïc Correnson added 1 commit 1 year ago
added 1 commit

eb96f50c - [make] fix install & uninstall

Compare with previous version
Loïc Correnson marked this merge request as ready 1 year ago

marked this merge request as ready
Loïc Correnson mentioned in commit c4816a95 1 year ago

mentioned in commit c4816a95
Loïc Correnson merged 1 year ago

merged

Please register or sign in to reply