![]() |
Algorithmique
Numérique
Distribuée Public GIT Repository |
2021-09-13 | Martin Quinson | external CI scripts: cosmetics and uniformity | blob | commitdiff | raw |
2021-09-12 | Martin Quinson | chmod +x | blob | commitdiff | raw | diff to current |
2021-09-12 | Martin Quinson | CI wrench: use an external script | blob | commitdiff | raw | diff to current |