Nathalie Furmento 0ba6e5a7f9 contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory if environment variable KEEP_WORKING_DIRECTORY is set to true 7 years ago
..
ci.inria.fr 0ba6e5a7f9 contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory if environment variable KEEP_WORKING_DIRECTORY is set to true 7 years ago