From: Arnaud Giersch Date: Mon, 15 Apr 2019 10:01:10 +0000 (+0200) Subject: [sonar] Remove custom destructors for xbt_replay. X-Git-Tag: v3.22.2~122 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/41e07e98c29549b7f6a5702e548a0e4d0b0e31b2?hp=41e07e98c29549b7f6a5702e548a0e4d0b0e31b2;ds=sidebyside [sonar] Remove custom destructors for xbt_replay. ---