git://git.onelab.eu / infrastructure.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 561e43e) | patch
only build for f37 as plcapi no longer works on pg13 so on f35
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 24 Nov 2022 10:50:15 +0000 (11:50 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 24 Nov 2022 10:50:15 +0000 (11:50 +0100)
commit2ec0f89573e9995ad3540c7293abef0820dd7443
treef53dbaac9ab1c2c0c9c68d3cc34faf7e025e9f30tree | snapshot
parent561e43e91b3711f310484ba66bab354074e23e03commit | diff
only build for f37 as plcapi no longer works on pg13 so on f35
scripts/builds.sh diff | blob | history
infrastructure