diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-06-09 14:00:51 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-06-09 14:19:14 +0200 |
| commit | 1c9e992e8c636ce8798c26fa1c8f744fbe17255e (patch) | |
| tree | a749628bd228c145839135448f6020b03c454a0f /gnu/packages/agda.scm | |
| parent | 56ad923f47d352e1bee1a94da1a246ae21c03569 (diff) | |
records: Remove "guix" from error message.
* guix/records.scm (map-fields): Tweak error message.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions
