Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0f39382 9c2cb2e)
Merge branch 'master' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 10 Oct 2020 18:37:29 +0000 (20:37 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 10 Oct 2020 18:37:29 +0000 (20:37 +0200)
plugin link_load: fix name in SIMGRID_REGISTER_PLUGIN

See merge request simgrid/simgrid!43


Trivial merge
Clone of SimGrid repository with local patches