Improve display of directives.

* etc/bench.pl.in (parse_term): Don't add useless eol.
2026-03-09 12:23:04 +00:00 · 2008-08-18 22:54:06 +02:00
parent 918eb7c5ae
commit 2722aa42bd
2 changed files with 6 additions and 1 deletions
--- a/5
+++ b/5
@@ -1,3 +1,8 @@
+2008-11-11  Akim Demaille  <demaille@gostai.com>
+
+	Improve display of directives.
+	* etc/bench.pl.in (parse_term): Don't add useless eol.
+
 2008-11-11  Akim Demaille  <demaille@gostai.com>

 	Use string_cast in the bench.