From: degomme Date: Tue, 13 Feb 2018 14:24:34 +0000 (+0100) Subject: rename two files in examples X-Git-Tag: v3.19~221 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d8d0d2b34dd529790ca6a0a1b45925d4e81657a3?hp=d8d0d2b34dd529790ca6a0a1b45925d4e81657a3;ds=sidebyside rename two files in examples Other files have the same name elsewhere, and this confuses coverage tool in sonar ---