Nathalie Furmento 32e7f2d7cc Merge branch 'master' into fpga 4 éve
..
disabled 618992814a Merge branch 'master' into fpga 4 éve
job-0-tarball.sh 10894c915b contrib/ci.inria.fr: run make with -j4 4 éve
job-1-build-windows.sh 2f2067f0d7 contrib: set execute permission 4 éve
job-1-check-windows.bat 0f97f62f85 configure/ci.inria.fr: fix PATH 4 éve
job-1-check.sh 10894c915b contrib/ci.inria.fr: run make with -j4 4 éve