diff options
author | Brice Waegeneire <brice@waegenei.re> | 2020-05-11 16:45:24 +0200 |
---|---|---|
committer | Brice Waegeneire <brice@waegenei.re> | 2020-05-22 22:57:47 +0200 |
commit | 8d0548fd34ff4b6f79b58a77f7266f3e672beb62 (patch) | |
tree | e8de4a04acd35d304c07953556d7e16dfa7f2682 /gnu/packages/patches | |
parent | 255ff74f3ab514a76068f6cfccc7f8dbcf8b7f3f (diff) | |
download | guix-8d0548fd34ff4b6f79b58a77f7266f3e672beb62.tar.gz |
gnu: network-manager: Appease guix lint.
* gnu/packages/gnome.scm (network-manager)[home-page]: Use the permenant redirect URL. * gnu/packages/patches/nm-plugin-path.patch: Renamed to 'gnu/packages/patches/network-manager-plugin-path.patch'.
Diffstat (limited to 'gnu/packages/patches')
-rw-r--r-- | gnu/packages/patches/network-manager-plugin-path.patch (renamed from gnu/packages/patches/nm-plugin-path.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnu/packages/patches/nm-plugin-path.patch b/gnu/packages/patches/network-manager-plugin-path.patch
index 505ae31534..505ae31534 100644
--- a/gnu/packages/patches/nm-plugin-path.patch
+++ b/gnu/packages/patches/network-manager-plugin-path.patch
|