Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #236 from mazhe/master
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 9 Nov 2017 08:04:05 +0000 (09:04 +0100)
committerGitHub <noreply@github.com>
Thu, 9 Nov 2017 08:04:05 +0000 (09:04 +0100)
Use unsigned int for std:*map positions (must be >0).


Trivial merge