Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: eba7276 094f8c0)
Merge branch 's_SimGrid_simgrid' into 'master'
authorArnaud Giersch <arnaud.giersch@free.fr>
Sun, 1 Mar 2020 13:25:21 +0000 (14:25 +0100)
committerArnaud Giersch <arnaud.giersch@free.fr>
Sun, 1 Mar 2020 13:25:21 +0000 (14:25 +0100)
Project name has changed from SimGrid to simgrid.

See merge request simgrid/simgrid!34


Trivial merge
Clone of SimGrid repository with local patches