diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-01-06 00:21:14 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-06 00:22:05 +0100 |
commit | 012bf5c4c03e30633f137960bd0677e204c638a7 (patch) | |
tree | b24ce2afc49310f8d5a8971d068b5f8c2d7d6ac5 /.dir-locals.el | |
parent | e506b5e95d63296d490e31d1fd1d0d7502126e04 (diff) | |
download | guix-012bf5c4c03e30633f137960bd0677e204c638a7.tar.gz |
lint: Rename checker to 'github-url'.
* guix/scripts/lint.scm (%checkers): Rename 'github-uri' to 'github-url' to match the documentation.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions