diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-01-24 22:43:14 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-01-24 23:09:10 +0100 |
commit | d6d1cea624ad6869e4099672092516d7383204dc (patch) | |
tree | 12cd585af7c1575ee4daac187f9f82a33c587576 /gnu/system | |
parent | ff8b5a3ae7e62b43ad712b9d496bc84664ecfb73 (diff) |
mapped-devices: 'source' can be a list of strings.
Reported by myglc2 <myglc2@gmail.com>.
* gnu/system/mapped-devices.scm (<mapped-device>)[source]: Update
comment to note that this can be a list of strings.
Diffstat (limited to 'gnu/system')
-rw-r--r-- | gnu/system/mapped-devices.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/system/mapped-devices.scm b/gnu/system/mapped-devices.scm index 8ab861bf73..2959802c96 100644 --- a/gnu/system/mapped-devices.scm +++ b/gnu/system/mapped-devices.scm @@ -54,7 +54,7 @@ (define-record-type* <mapped-device> mapped-device make-mapped-device mapped-device? - (source mapped-device-source) ;string + (source mapped-device-source) ;string | list of strings (target mapped-device-target) ;string (type mapped-device-type)) ;<mapped-device-kind> |