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)
commita0c5b1ab11469128ad826610f54b1f0f332bd172
tree1823f3363166336f9d6eece7e3516e50e6445660
parent3c40c120a1c927ea1696d823d9fa059237469449
parent00bc7629efb0bc224e7c526993a17fc6bcac09c8
Merge pull request #177 from Takishipp/sd_exit

Use automated call to sd_exit