Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'odpor-clean-ups' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 5 Jun 2023 12:46:11 +0000 (12:46 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 5 Jun 2023 12:46:11 +0000 (12:46 +0000)
Address Comments/Errors from ODPOR/SDPOR Integration

See merge request simgrid/simgrid!159


Trivial merge