Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[doc] tracing documentation was duplicated, fix it
authorLucas Schnorr <Lucas.Schnorr@imag.fr>
Mon, 26 Dec 2011 12:23:40 +0000 (13:23 +0100)
committerLucas Schnorr <Lucas.Schnorr@imag.fr>
Mon, 26 Dec 2011 12:23:40 +0000 (13:23 +0100)
commita5aa425e34dc6eed6b22b99b69e53ecc634ac9b4
treeeb54179158ad509065cb545434e631104704b38e
parent35b858adb3456dd9985d95ae44031a6a6d99a9ee
[doc] tracing documentation was duplicated, fix it
doc/tracing.doc