diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-12-18 14:58:46 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-22 09:48:38 +0100 |
| commit | 42ff7d3be642d66ba567f64882a1f2301b1a7bd9 (patch) | |
| tree | 4283f1997e5c5747099ec8c1a866a27f37a31701 /build-aux/gitlog-to-changelog | |
| parent | 4ca90ff5976434a2b6e758df38df54387ae70c1b (diff) | |
| download | gnu-guix-42ff7d3be642d66ba567f64882a1f2301b1a7bd9.tar gnu-guix-42ff7d3be642d66ba567f64882a1f2301b1a7bd9.tar.gz | |
mapped-devices: 'luks-device-mapping' checks its source device.
* gnu/system/mapped-devices.scm (check-luks-device): New procedure.
(luks-device-mapping)[check]: New field.
Diffstat (limited to 'build-aux/gitlog-to-changelog')
0 files changed, 0 insertions, 0 deletions