Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 2: fd4d66e)
Merge branch 'dev-s4u-dirty-termination' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 17 May 2022 19:06:59 +0000 (19:06 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 17 May 2022 19:06:59 +0000 (19:06 +0000)
Make S4u dirty termination better looking

See merge request simgrid/simgrid!97


No differences found
Clone of SimGrid repository with local patches