*** empty log message ***
authorClaus Gittinger <cg@exept.de>
Wed, 02 Nov 2016 20:35:32 +0100
changeset 1536 0a11606bb095
parent 1534 65f4fdae8ad0
child 1537 4900774fc3f5
*** empty log message ***
benchmarks/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/benchmarks/README	Wed Nov 02 20:35:32 2016 +0100
@@ -0,0 +1,2 @@
+run with:
+    stx -I -V --load CollectionBenchmarks.st --run CollectionBenchmarks