From 831e34878ba25882be7666abe43fc101b63eb3b9 Mon Sep 17 00:00:00 2001
From: Lucas Schnorr <Lucas.Schnorr@imag.fr>
Date: Fri, 23 Sep 2011 12:52:47 +0200
Subject: [PATCH] [trace, doc] removing old tracing option

---
 doc/tracing.doc | 5 -----
 1 file changed, 5 deletions(-)

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>:
-- 
2.20.1