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) | |
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 |