Nathalie Furmento b978bc4221 Merge branch 'master' into fpga 5 years ago
..
disabled 6899d20d08 contrib: disable ci pipelines 5 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 271a7d9d0f update copyright holders 5 years ago
job-1-check.sh 3404db9696 contrib/ci.inria.fr/job-1-check.sh: disable long check on saturdays and sundays 5 years ago