From: Martin Quinson Date: Fri, 2 Jun 2017 08:56:33 +0000 (+0200) Subject: Merge pull request #177 from Takishipp/sd_exit X-Git-Tag: v3.16~162 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a0c5b1ab11469128ad826610f54b1f0f332bd172?hp=-c Merge pull request #177 from Takishipp/sd_exit Use automated call to sd_exit --- a0c5b1ab11469128ad826610f54b1f0f332bd172