records: "options" → "properties".
authorLudovic Courtès <ludo@gnu.org>
Thu, 11 Jun 2015 20:26:18 +0000 (22:26 +0200)
committerLudovic Courtès <ludo@gnu.org>
Thu, 11 Jun 2015 21:33:32 +0000 (23:33 +0200)
commit792798f48647ef664cfe6fdd7ff313901e383f6c
tree9bbf5cbbb89aecbda2265ac8e95145f07153fc77
parentfaef3b6a96114524c2a25e3b84caa042a2d2e598
records: "options" → "properties".

* guix/records.scm (define-record-type*): Change "options" to "properties".
guix/records.scm