Nathalie Furmento d403edb7d3 Merge branch 'master' into fpga 4 years ago
..
disabled d403edb7d3 Merge branch 'master' into fpga 4 years ago
job-0-tarball.sh f5d7ec4fb4 contrib/ci.inria.fr: build pdf documentation 5 years ago
job-1-build-windows.sh 271a7d9d0f update copyright holders 5 years ago
job-1-check-windows.bat 6087893c28 contrib/ci.inria.fr: update python path 4 years ago
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 years ago