From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Wed, 23 Sep 2020 22:01:03 +0000 (+0200)
Subject: Update benchmarks page
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=6397512504f9acdd37f9eccbd15b31a94d03c770;p=gwion.git

Update benchmarks page
---

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index d416c4b0..5478b9b8 100644
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -1,6 +1,6 @@
 # Benchmarks
 
-> @hide cat gwion-benchmark/commit_info
+@hide cat gwion-benchmark/commit_info
 
 ## test