Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #177 from Takishipp/sd_exit
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 2 Jun 2017 08:56:33 +0000 (10:56 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Jun 2017 08:56:33 +0000 (10:56 +0200)
Use automated call to sd_exit


Trivial merge