Commit Graph

1 Commits

Author SHA1 Message Date
Peter J. Holzer c5b8476a42 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.
2023-01-03 18:33:58 +01:00