Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from: 5031536)
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


No differences found
Clone of SimGrid repository with local patches