From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 18 Sep 2020 04:27:34 +0000 (+0200)
Subject: Add date and commit
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=76f8a32f6fb04ab3a9391aa60fc781b37f9d3f8c;p=gwion.git

Add date and commit
---

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 1f2e6189..2e6ad422 100644
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -1,5 +1,9 @@
 # Benchmarks
 
+@hide date
+
+@hide cd Gwion; git log -n1
+
 ## test
 <table><tr><td align="center">
 @hide bash scripts/list_benchmarks.sh