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)
commite250e6486bff3cfc3a911320944d59e8866c42c4
treea88934a487ac654491942c906cad170975235498
parent29d8f70292284c364f1d96959c632d8649e1e6e5
[Documentation] Added reference to tracing options

- 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.
doc/doxygen/options.doc