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