Nathalie Furmento 1849722415 Merge branch 'master' into fpga 5 vuotta sitten
..
disabled 1849722415 Merge branch 'master' into fpga 5 vuotta sitten
job-0-tarball.sh f5d7ec4fb4 contrib/ci.inria.fr: build pdf documentation 5 vuotta sitten
job-1-build-windows.sh 271a7d9d0f update copyright holders 5 vuotta sitten
job-1-check-windows.bat 271a7d9d0f update copyright holders 5 vuotta sitten
job-1-check.sh 140463fecf contrib/ci.inria.fr/job-1-check.sh: fix equality test 5 vuotta sitten