Update benchmark

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 88957b94bf5e6b1eb922abee1753729891652c6e..5478b9b8237051defd2c00ef8fea6f516e6c0274 100644 (file)
--- 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