Rename reporting/recording scripts

I think record_* is less ambiguous than report_*.
A close second would be collect_*, but record seems to me to be a bit
closer to what the scripts are doing.
This commit is contained in:
Peter J. Holzer 2023-01-03 18:33:58 +01:00
parent 25381714a1
commit c5b8476a42
7 changed files with 0 additions and 0 deletions