From: Arnaud Giersch Date: Mon, 12 Feb 2018 22:01:33 +0000 (+0100) Subject: Kill unused private variable surf_action_state_names[]. X-Git-Tag: v3.19~232 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/70beb915a9630e17789865a5cc6edc1a249d81cc?hp=70beb915a9630e17789865a5cc6edc1a249d81cc Kill unused private variable surf_action_state_names[]. ---