Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #237 from oar-team/upstream
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 21 Nov 2017 23:46:58 +0000 (00:46 +0100)
committerGitHub <noreply@github.com>
Tue, 21 Nov 2017 23:46:58 +0000 (00:46 +0100)
 [MSG] add MSG_task_get_remaining_work_ratio + test


No differences found