bench.pl --bench.

* etc/bench.pl.in (--bench, $bench): New.
2026-03-13 22:33:03 +00:00 · 2008-07-21 21:22:19 +02:00
parent 006a030300
commit a6df593dfe
2 changed files with 45 additions and 13 deletions
--- a/5
+++ b/5
@@ -1,3 +1,8 @@
+2008-11-04  Akim Demaille  <demaille@gostai.com>
+
+	bench.pl --bench.
+	* etc/bench.pl.in (--bench, $bench): New.
+
 2008-11-04  Akim Demaille  <demaille@gostai.com>

 	Sort methods.