Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove the kill_time timer when a process stops (fix #18888)
[simgrid.git] / COPYRIGHT.template
2014-03-06 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-28 Gabriel CoronaMerge branch 'mc++' into mc-merge
2014-02-24 Gabriel CoronaMerge 'master' into mc
2014-01-30 Arnaud GierschAdd template for copyright header.