From b341237fb71f29c7aa591c924742b4693f132593 Mon Sep 17 00:00:00 2001 From: Derek Allard Date: Thu, 25 Oct 2007 12:15:16 +0000 Subject: Moved part of the userguide menu javascript to an external file. --- user_guide/libraries/benchmark.html | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'user_guide/libraries/benchmark.html') diff --git a/user_guide/libraries/benchmark.html b/user_guide/libraries/benchmark.html index 59605e70e..f17554e0c 100644 --- a/user_guide/libraries/benchmark.html +++ b/user_guide/libraries/benchmark.html @@ -10,12 +10,7 @@ - + -- cgit v1.2.3-24-g4f1b