Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #198 from Takishipp/clear_fct
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 12 Jul 2017 20:26:36 +0000 (22:26 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Jul 2017 20:26:36 +0000 (22:26 +0200)
Remove an unused function


Trivial merge