From 0d3e8914aeb7e07452602a11b4a4cdc2c7f1fc2a Mon Sep 17 00:00:00 2001 From: Dennis Luxen Date: Wed, 18 May 2011 09:54:19 +0000 Subject: [PATCH] renaming metric --- Docs/WebFrontend/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Docs/WebFrontend/index.html b/Docs/WebFrontend/index.html index 549e332d2..9f2666fb9 100644 --- a/Docs/WebFrontend/index.html +++ b/Docs/WebFrontend/index.html @@ -51,7 +51,7 @@
Options - +