[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 0/3] bench: clean up
From: |
Akim Demaille |
Subject: |
[PATCH 0/3] bench: clean up |
Date: |
Mon, 29 Jun 2020 19:10:33 +0200 |
Minor changes prompted by benching the push parser.
Akim Demaille (3):
bench: make it easy to edit the generated files
bench: simplify the `rand` target
doc: tidy the text files
NEWS | 102 ++++++++++++++++++++++------------------------
README | 20 ++++-----
README-hacking.md | 3 ++
TODO | 18 +++-----
etc/README | 38 -----------------
etc/README.md | 36 ++++++++++++++++
etc/bench.pl.in | 11 +++--
etc/local.mk | 3 +-
8 files changed, 113 insertions(+), 118 deletions(-)
delete mode 100644 etc/README
create mode 100644 etc/README.md
--
2.27.0
- [PATCH 0/3] bench: clean up,
Akim Demaille <=