From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Thu, 10 Oct 2013 09:41:15 +0000 (+0200)
Subject: replace signal number by its name, for better portability
X-Git-Tag: v3_9_90~22
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f652ed844e3998f1b9ba84dd9a8d5451423ffd04?hp=f652ed844e3998f1b9ba84dd9a8d5451423ffd04;ds=sidebyside

replace signal number by its name, for better portability
---