Nathalie Furmento 2108c6192a Revert "contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory" %!s(int64=4) %!d(string=hai) anos
..
ci.inria.fr 2108c6192a Revert "contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory" %!s(int64=4) %!d(string=hai) anos
gitlab ba38e95fb0 contrib/gitlab: fail when no dist file is available %!s(int64=4) %!d(string=hai) anos