Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6db71d1 447a95c)
Merge branch 'master' into 'master'
authorAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Tue, 17 Jan 2023 13:55:22 +0000 (13:55 +0000)
committerAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Tue, 17 Jan 2023 13:55:22 +0000 (13:55 +0000)
fix doc typo

See merge request simgrid/simgrid!124


Trivial merge
Clone of SimGrid repository with local patches