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/nix-daemon | |
parent | faef3b6a96114524c2a25e3b84caa042a2d2e598 (diff) |
records: "options" → "properties".
* guix/records.scm (define-record-type*): Change "options" to "properties".
Diffstat (limited to 'nix/nix-daemon')
0 files changed, 0 insertions, 0 deletions