Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'rename-operation-task' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 5 Jun 2023 10:26:59 +0000 (10:26 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 5 Jun 2023 10:26:59 +0000 (10:26 +0000)
commit50315369ab3f6921a3c6c6a266cf1d25b9c56b4d
tree077b7c71d726c2386f3f04b93d7925df0300e5e2
parentc312320c2e43da49b536c51a9d19b6ad6d66e489
parent1b211507e0c2abe5f2b7fbe56988af46d3189b51
Merge branch 'rename-operation-task' into 'master'

rename operation to task

See merge request simgrid/simgrid!158
MANIFEST.in
tools/cmake/DefinePackages.cmake