From: Arnaud Giersch Date: Thu, 19 Apr 2018 20:40:04 +0000 (+0200) Subject: Change option name in doc too. X-Git-Tag: v3.20~361 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/81549dac6ed0a363906f91acc848bdff60bb2e80 Change option name in doc too. --- diff --git a/doc/doxygen/outcomes_vizu.doc b/doc/doxygen/outcomes_vizu.doc index 59f5958187..1c4381c20b 100644 --- a/doc/doxygen/outcomes_vizu.doc +++ b/doc/doxygen/outcomes_vizu.doc @@ -201,7 +201,7 @@ TODO \endverbatim \li \c -tracing/msg/vm +tracing/vm : TODO \verbatim