Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
menhir.opam
Find file
Blame
History
Permalink
Introduce [make publish] and [make undo] to confirm/undo a release.
· dca86bd5
POTTIER Francois
authored
Oct 25, 2018
Change [make opam] to just use [opam publish].
dca86bd5