Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #107 from adfaure/master
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 11 Aug 2016 13:22:35 +0000 (15:22 +0200)
committerGitHub <noreply@github.com>
Thu, 11 Aug 2016 13:22:35 +0000 (15:22 +0200)
[s4u] add Actor::getPPid and this_actor::getPPid()


Trivial merge