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