Add date and commit

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 1f2e61896b4fc60547b20457e0bbeeb3410ca563..2e6ad422ee39c2d056df7a083b50ed3985c67dc1 100644 (file)
--- 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