From 47d7d02ab3312678de156e2dbc0c1ce87706427d Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Fri, 18 Sep 2020 07:04:23 +0200
Subject: [PATCH] Improve benchmark info format

---
 docs/Benchmarks.mdr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 2e6ad422..f1f7d7a6 100644
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -1,8 +1,8 @@
 # Benchmarks
 
-@hide date
+> @hide date
 
-@hide cd Gwion; git log -n1
+> @hide cd Gwion; git log -n1
 
 ## test
 <table><tr><td align="center">
-- 
2.43.0