Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'github/master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 23 Jan 2019 20:36:58 +0000 (21:36 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 23 Jan 2019 20:36:58 +0000 (21:36 +0100)
commit84b7a7c2654728af851484eb6cca50a1b0ffc921
treee884c0e94a21205d24e536e57c9e4123a89aa5e3
parentdc76978b5d38ebc9ec52ed90a929a68591e599cd
parent253128d8f8c8796ef531a030e004619b89e96d1a
Merge remote-tracking branch 'github/master'