Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[Documentation] Added reference to tracing options
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 21 May 2015 15:37:13 +0000 (17:37 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 9 Jun 2015 07:59:09 +0000 (09:59 +0200)
- I didn't want to duplicate the options from the
  tracing doc page, so I just added a link to this
  page; technically it should be included there though,
  as these options are relevant for the index.


No differences found