bench: Improve output.

* etc/bench.pl.in (bench_grammar): Tune the printf format.
2026-04-24 02:29:43 +00:00 · 2008-07-17 16:06:20 +02:00
parent 5b421a4e8e
commit 0cc5bead40
2 changed files with 12 additions and 1 deletions
@@ -1,3 +1,8 @@
+2008-11-03  Akim Demaille  <demaille@gostai.com>
+
+	bench: Improve output.
+	* etc/bench.pl.in (bench_grammar): Tune the printf format.
+
 2008-11-03  Akim Demaille  <demaille@gostai.com>

 	bench: check impact of %debug on variants.