Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[ci skip] remove spurious line
authorAugustin Degomme <adegomme@users.noreply.github.com>
Sat, 4 Mar 2023 10:51:11 +0000 (11:51 +0100)
committerAugustin Degomme <adegomme@users.noreply.github.com>
Sat, 4 Mar 2023 10:51:11 +0000 (11:51 +0100)
commit397abf8eeaafe254e223a83f4a48ffdcae68eb56
tree79376943c77033232b332e7eb9eb2a2ab34b30b7
parent11db6b591f6ba6a6dcc9c9c067b43ba6881ab4bb
[ci skip] remove spurious line
.github/workflows/git.yml