*** empty log message ***
authorClaus Gittinger <cg@exept.de>
Wed, 02 Nov 2016 20:35:48 +0100
changeset 1537 4900774fc3f5
parent 1536 0a11606bb095
child 1538 54d5b5a43b3c
*** empty log message ***
benchmarks/README
--- a/benchmarks/README	Wed Nov 02 20:35:32 2016 +0100
+++ b/benchmarks/README	Wed Nov 02 20:35:48 2016 +0100
@@ -1,2 +1,2 @@
 run with:
-    stx -I -V --load CollectionBenchmarks.st --run CollectionBenchmarks
+    stx -I --load CollectionBenchmarks.st --run CollectionBenchmarks