Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
this_actor::exit() is a better name than this_actor::kill()
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 9 Jul 2018 16:03:09 +0000 (18:03 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 9 Jul 2018 21:56:39 +0000 (23:56 +0200)

No differences found