Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'graphicator_seal' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 May 2022 12:44:24 +0000 (12:44 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 May 2022 12:44:24 +0000 (12:44 +0000)
commit7e4fd5adeb1612f5b2222f51b66e6d3fd005e98b
tree2fa0da0d56131570506a78a178e7558a167dd216
parente220f376d676529d16f2598cef5f53cbaba2c175
parent5f7ac8567fc1d7ad69f046a4f163ded25de920b1
Merge branch 'graphicator_seal' into 'master'

Seal the platform in graphicator before dumping

See merge request simgrid/simgrid!107