diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-07-17 15:58:34 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-17 15:58:34 +0200 |
commit | 0de9a1be04a2f93bcdf81bdb0f6c2dca12225974 (patch) | |
tree | 749d8e71cce6f5b240f7be129c8a110d018bc39e /gnu/packages/patches | |
parent | 64de896a71a9ba3091259834077d54c0146bdab6 (diff) |
gnu: gnome-control-center: Shorten patch file name.
* gnu/packages/patches/gnome-control-center-use-udisks-to-get-disk-size.patch:
Rename to...
* gnu/packages/patches/gnome-control-center-udisks.patch: ... this.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/gnome.scm (gnome-control-center)[source]: Likewise.
Diffstat (limited to 'gnu/packages/patches')
-rw-r--r-- | gnu/packages/patches/gnome-control-center-udisks.patch (renamed from gnu/packages/patches/gnome-control-center-use-udisks-to-get-disk-size.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnu/packages/patches/gnome-control-center-use-udisks-to-get-disk-size.patch b/gnu/packages/patches/gnome-control-center-udisks.patch index 823684b2e9..823684b2e9 100644 --- a/gnu/packages/patches/gnome-control-center-use-udisks-to-get-disk-size.patch +++ b/gnu/packages/patches/gnome-control-center-udisks.patch |