diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-06-11 22:26:18 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-06-11 23:33:32 +0200 |
| commit | 792798f48647ef664cfe6fdd7ff313901e383f6c (patch) | |
| tree | 9bbf5cbbb89aecbda2265ac8e95145f07153fc77 /nix | |
| parent | faef3b6a96114524c2a25e3b84caa042a2d2e598 (diff) | |
| download | guix-792798f48647ef664cfe6fdd7ff313901e383f6c.tar guix-792798f48647ef664cfe6fdd7ff313901e383f6c.tar.gz | |
records: "options" → "properties".
* guix/records.scm (define-record-type*): Change "options" to "properties".
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions