Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'fix-sonar-task' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 5 Jun 2023 13:51:06 +0000 (13:51 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 5 Jun 2023 13:51:06 +0000 (13:51 +0000)
Fix sonar task

See merge request simgrid/simgrid!160


Trivial merge