Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #100 from dindon-sournois/sem_get_capacity.return_value
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 22 Jul 2016 16:10:02 +0000 (18:10 +0200)
committerGitHub <noreply@github.com>
Fri, 22 Jul 2016 16:10:02 +0000 (18:10 +0200)
Add a return value for MSG_sem_get_capacity


Trivial merge