]> gitweb.factorcode.org Git - factor.git/commit
benchmark: rename (run-benchmark) to run-benchmark, and run-benchmark to record-bench...
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 10 Sep 2009 23:32:45 +0000 (18:32 -0500)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 10 Sep 2009 23:32:45 +0000 (18:32 -0500)
commitcffa0c2b4f6aa2732e60a9fe203ccde7b320bc37
tree8d5f1a9170acbea7ca632dca53626e98d9479691
parentd5bc1ceca239682ee23f20c781782606c5182f6a
benchmark: rename (run-benchmark) to run-benchmark, and run-benchmark to record-benchmark, since (run-benchmark) was actually useful on its own
extra/benchmark/benchmark.factor