Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
replace signal number by its name, for better portability
authorAugustin Degomme <degomme@idpann.imag.fr>
Thu, 10 Oct 2013 09:41:15 +0000 (11:41 +0200)
committerAugustin Degomme <degomme@idpann.imag.fr>
Thu, 10 Oct 2013 13:02:13 +0000 (15:02 +0200)
commitf652ed844e3998f1b9ba84dd9a8d5451423ffd04
treea62d3a982d96317073f951d3730c4ca20b4aca06
parent30680c1d1986d1b04b1759cf4cf8515884ba37d4
replace signal number by its name, for better portability
buildtools/Cmake/Scripts/tesh.pl