Nathalie Furmento
2108c6192a
Revert "contrib/ci.inria.fr/Jenkinsfile-windows: do not delete directory"
|
5 anni fa | |
|---|---|---|
| .. | ||
| Jenkinsfile-basic | 5 anni fa | |
| Jenkinsfile-bsd | 5 anni fa | |
| Jenkinsfile-windows | 5 anni fa | |
| job-0-tarball.sh | 5 anni fa | |
| job-1-build-windows.sh | 5 anni fa | |
| job-1-check-windows.bat | 5 anni fa | |
| job-1-check.sh | 5 anni fa | |