Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
use -1 as default kill time to make sure that our process don't get killed on startup
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 30 Apr 2012 23:41:16 +0000 (01:41 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 30 Apr 2012 23:41:16 +0000 (01:41 +0200)

No differences found