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)
commitb8d0299b310680eeb9b50d0249fe5bc810aed7e4
treec092f0e6bed19b5c74ea5e037ea1ca7a8c683aba
parentcf98ca435caa8f349b9240a94e46bf3a84b8255e
parenta844d6ba059b98ad6a5317e85a9c69402353b0a9
Merge pull request #107 from adfaure/master

[s4u] add Actor::getPPid and this_actor::getPPid()