From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 22 Sep 2020 13:45:03 +0000 (+0200)
Subject: clean benchmarks
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=f353e35698254c27ed76a876669e5a5f80d88245;p=gwion.git

clean benchmarks
---

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 -->