Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #238 from barais/master
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 21 Nov 2017 01:40:18 +0000 (02:40 +0100)
committerGitHub <noreply@github.com>
Tue, 21 Nov 2017 01:40:18 +0000 (02:40 +0100)
remove unused exception in javadocs


Trivial merge