Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
merge changes: modify GRAS vs. kill GRAS, kill wins
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 22 Nov 2012 12:58:02 +0000 (13:58 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 22 Nov 2012 12:58:02 +0000 (13:58 +0100)
commitb9e96fbb5cfd020bcb5624e581388258e75342bb
tree926da2321c1d59056d5b1f4af10369134c2c5350
parent39eaafd39429445bac3fb906bfde2714fc1dc848
merge changes: modify GRAS vs. kill GRAS, kill wins
doc/user_guide/doxygen/use.doc