Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'task-docs' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 20 Nov 2023 13:45:13 +0000 (13:45 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 20 Nov 2023 13:45:13 +0000 (13:45 +0000)
fix missing doc for Tasks

See merge request simgrid/simgrid!180


Trivial merge