diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-10-17 22:57:39 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-10-17 23:15:08 +0200 |
commit | ec73570be5112a4e4f224b86e06529d1987f2088 (patch) | |
tree | 752b27e1d2cd7b1a5a52ac04ecfedbaac7639578 /gnu/home | |
parent | 257917d08b1889bbada63f00911dc98f33ef1920 (diff) | |
download | guix-ec73570be5112a4e4f224b86e06529d1987f2088.tar.gz guix-ec73570be5112a4e4f224b86e06529d1987f2088.zip |
lint: 'probe-uri' honors the 'userinfo' part of URIs.
* guix/lint.scm (probe-uri): Honor the 'userinfo' part of URI.
Diffstat (limited to 'gnu/home')
0 files changed, 0 insertions, 0 deletions