Update benchmarks page

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