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