Skip to content
GitLab

Makefile, algo/Makefile: simplify 'make release' through 'git archive'

Merged Mathieu Giraud requested to merge feature-a/2255-make-release into dev

Closes #2255 (closed) and #2720 (closed). Prepares #1491 and #3002 (closed).

See also #3003 (closed), #3005 (closed).

Edited by Mathieu Giraud