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)
rename operation to task

See merge request simgrid/simgrid!158

1  2 
MANIFEST.in
tools/cmake/DefinePackages.cmake

diff --cc MANIFEST.in
Simple merge
Simple merge