Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
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)
commita09a8dcc9668ccfab5afd933eb1e9c12bb8f5934
tree04d431f792952a52c72d92b2b1961959fd017102
parent0f3938240c376e205394046dbfc9f8f95e5dae10
parent9c2cb2ea92a9845b447e8112afc46a61c42bf5cf
Merge branch 'master' into 'master'

plugin link_load: fix name in SIMGRID_REGISTER_PLUGIN

See merge request simgrid/simgrid!43