From: Frederic Suter Date: Thu, 23 Nov 2017 18:05:05 +0000 (+0100) Subject: delete extension on destruction X-Git-Tag: v3.18~250 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fdf54308bb96949e5bfadce87f2c3b394d2f77b8?hp=fdf54308bb96949e5bfadce87f2c3b394d2f77b8 delete extension on destruction ---