+

2011-05-25 19:04:27 +02:00 · 2011-05-25 19:04:27 +02:00 · 7c1dcf97a4
parent dcd351136d
commit 7c1dcf97a4
1 changed files with 0 additions and 2 deletions
--- a/bench/benchmark.org
+++ b/bench/benchmark.org
@ -270,5 +270,3 @@ The benchmarks can be run with the following command
 (xmlbench is needed for the xml tests):

 : make bench
-
-