Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a5683d1 3c78b31)
Merge pull request #374 from adegomme/master
authorMartin Quinson <624847+mquinson@users.noreply.github.com>
Thu, 11 Mar 2021 16:13:33 +0000 (17:13 +0100)
committerGitHub <noreply@github.com>
Thu, 11 Mar 2021 16:13:33 +0000 (17:13 +0100)
try to handle inconsistencies in github environments.


Trivial merge
Clone of SimGrid repository with local patches