From 9513ae9dbb8ed603abed51653e3f9ea568fa1432 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Tue, 22 Sep 2020 11:27:58 +0200
Subject: [PATCH] :art: Use benchmarks commit

---
 docs/Benchmarks.mdr | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index c268c4b1..d368cfb9 100644
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -1,12 +1,16 @@
 # Benchmarks
 
 Created at:
-@hide date
+> @hide date
 
 From commit:
-@hide git log -n1
+> @hide cd benchmarks; git log -n1
 
 ## test
-<table><tr><td align="center" style="border:none">
+
+<!-- markdownlint-capture -->
+<!-- markdownlint-disable MD033 -->
+Restore the <table><tr><td align="center" style="border:none">
 @hide bash scripts/list_benchmarks.sh
-</td></tr></table>
\ No newline at end of file
+</td></tr></table>
+<!-- markdownlint-restore -->
-- 
2.43.0