Nathalie Furmento eda7118f7f contrib/ci.inria.fr/Jenkinsfile-windows: partly revert last commit 7 lat temu
..
ci.inria.fr eda7118f7f contrib/ci.inria.fr/Jenkinsfile-windows: partly revert last commit 7 lat temu