From: Lucas Schnorr <Lucas.Schnorr@imag.fr>
Date: Fri, 23 Sep 2011 10:52:47 +0000 (+0200)
Subject: [trace, doc] removing old tracing option
X-Git-Tag: v3_6_2~55
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/831e34878ba25882be7666abe43fc101b63eb3b9

[trace, doc] removing old tracing option
---

diff --git a/doc/tracing.doc b/doc/tracing.doc
index 6c30f7b8c2..dbf0a3191f 100644
--- a/doc/tracing.doc
+++ b/doc/tracing.doc
@@ -113,11 +113,6 @@ tracing
   Safe switch. It activates (or deactivates) the tracing system.
   No other tracing options take effect if this one is not activated.
 
-\li <b>\c
-tracing/platform
-</b>:
-  Register the simulation platform in the trace file.
-
 \li <b>\c
 tracing/onelink_only
 </b>: