Nathalie Furmento a1e69e1e45 contrib/ci.inria.fr/job-1-build-windows.sh: avoid timestamp errors 4 vuotta sitten
..
disabled d403edb7d3 Merge branch 'master' into fpga 4 vuotta sitten
job-0-tarball.sh f5d7ec4fb4 contrib/ci.inria.fr: build pdf documentation 5 vuotta sitten
job-1-build-windows.sh a1e69e1e45 contrib/ci.inria.fr/job-1-build-windows.sh: avoid timestamp errors 4 vuotta sitten
job-1-check-windows.bat 6087893c28 contrib/ci.inria.fr: update python path 4 vuotta sitten
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 vuotta sitten