Nathalie Furmento f7abbfa6fc update copyright 7 years ago
..
Jenkinsfile-basic 4290b711d9 contrib/ci.inria.fr: add developers documentation in stash 7 years ago
job-0-tarball.sh f7abbfa6fc update copyright 7 years ago
job-1-check.sh ef6c9420db contrib/ci.inria.fr/job-1-check.sh: add configure option --enable-debug 7 years ago