diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2026-03-19 17:22:25 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2026-03-25 23:51:25 +0100 |
| commit | 8476c5bd8e4ed06dc287a5292354e29c14b7adf8 (patch) | |
| tree | 3f1b1841d122ad33e8b83a534271f17bea93dbea /doc | |
| parent | 331cfd62773162e4c4f4dc97cc7a6546f4218816 (diff) | |
cuirass: Write jobs with ‘pretty-print’.
* build-aux/cuirass/evaluate.scm <top level>: Use ‘pretty-print’ to write the
jobs.
Change-Id: Idf751ddfd133717d390e2295a229e8308d906dc7
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Merges: #7222
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions