From f353e35698254c27ed76a876669e5a5f80d88245 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 15:45:03 +0200
Subject: [PATCH] clean benchmarks

---
 docs/Benchmarks.mdr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index af53e441..88957b94 100644
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -10,7 +10,7 @@ From commit:
 
 <!-- markdownlint-capture -->
 <!-- markdownlint-disable MD033 -->
-Restore the <table><tr><td align="center" style="border:none">
+<table><tr><td align="center" style="border:none">
 @hide bash scripts/list_benchmarks.sh
 </td></tr></table>
 <!-- markdownlint-restore -->
-- 
2.43.0