Nathalie Furmento 8f3d07d627 Merge branch 'master' into fpga 4 jaren geleden
..
disabled 1849722415 Merge branch 'master' into fpga 5 jaren geleden
job-0-tarball.sh f5d7ec4fb4 contrib/ci.inria.fr: build pdf documentation 5 jaren geleden
job-1-build-windows.sh 271a7d9d0f update copyright holders 5 jaren geleden
job-1-check-windows.bat 271a7d9d0f update copyright holders 5 jaren geleden
job-1-check.sh e937a4cb91 contrib/ci.inria.fr: only updating configure time has the effect of getting into a infinite loop of make calling configure and so on 4 jaren geleden