Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'tracemgrsplit' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 May 2019 12:31:12 +0000 (14:31 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 May 2019 12:31:12 +0000 (14:31 +0200)
Splitting trace_mgr into several files, one per class

See merge request simgrid/simgrid!4


Trivial merge