Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'github/master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 4 Jul 2019 15:24:13 +0000 (17:24 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 4 Jul 2019 15:24:55 +0000 (17:24 +0200)
commit228dec10fee7d30dd7c9edb93d0986940530f25e
treef7b78722d24ebb90f5d2858dd3828a33f9eda841
parent9f7e9a5afbeed8d2a18f3f52390da42856366eb7
parentc26845520f5716e5f94c8e52dfd744466c5b5506
Merge remote-tracking branch 'github/master'

(fixed comment in NativeLib.java)
src/bindings/java/org/simgrid/NativeLib.java