From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 22 Sep 2020 19:38:44 +0000 (+0200)
Subject: Update benchmark
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=2e49fb798a2b52fdeb196daf0ca19447d5fc1c29;p=gwion.git

Update benchmark
---

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 88957b94..5478b9b8 100644
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -1,10 +1,6 @@
 # Benchmarks
 
-Created at:
-> @hide date
-
-From commit:
-> @hide cd gwion-benchmark; git log -n1
+@hide cat gwion-benchmark/commit_info
 
 ## test