Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
autogen.sh
Find file
Blame
History
Permalink
Ship our own version of install-sh instead of relying on automake to provide it (fixes
#255
).
· 0f80ee59
Guillaume Melquiond
authored
Oct 29, 2019
0f80ee59