Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[trace, doc] be verbose about tracing options, say how to use them
authorLucas Schnorr <Lucas.Schnorr@imag.fr>
Fri, 23 Sep 2011 11:04:41 +0000 (13:04 +0200)
committerLucas Schnorr <Lucas.Schnorr@imag.fr>
Fri, 23 Sep 2011 11:05:47 +0000 (13:05 +0200)
commitfdd43f09c482715dc07d4479ca161c03046a14ed
tree765d317d52bbb0213a5b876a3d7a97363944fb4f
parentc629f33988e0739f0dc28291601c48cdaaca16f9
[trace, doc] be verbose about tracing options, say how to use them
doc/tracing.doc