From f9b74a1f4e1c0f9149e0a2d228d84ae34d491505 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Fri, 18 Sep 2020 07:44:39 +0200
Subject: [PATCH] Remove table borders

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

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 723c231a..64ef6686 100644
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -5,6 +5,6 @@
 > @hide cd Gwion; git log -n1
 
 ## test
-<table style="border:none"><tr><td align="center">
+<table><tr><td align="center" style="border:none">
 @hide bash scripts/list_benchmarks.sh
 </td></tr></table>
-- 
2.43.0