From f571117161121e93de5258154aafd37e11900a32 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 24 Dec 2005 13:54:59 +0000 Subject: [PATCH] fix --- helm/matita/scripts/public_html/index.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/helm/matita/scripts/public_html/index.html b/helm/matita/scripts/public_html/index.html index e08234d20..12fd7be9f 100644 --- a/helm/matita/scripts/public_html/index.html +++ b/helm/matita/scripts/public_html/index.html @@ -6,6 +6,10 @@

MATITA BENCHMARKING SYSTEM

Go to the benchmark query page

+ Go to the benchmark query page + +

-- 2.39.2