diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2021-03-14 09:25:21 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2021-03-14 09:25:21 +0200 |
commit | cd73a812a39f64b6e326a8b598e8fb88ad0d65a4 (patch) | |
tree | b5c573863f5d36ffc1712688096841329979e7e7 /gnu/packages/patches | |
parent | 31d289a4759909d24dd309ac24d42902a8c20da0 (diff) | |
download | guix-cd73a812a39f64b6e326a8b598e8fb88ad0d65a4.tar guix-cd73a812a39f64b6e326a8b598e8fb88ad0d65a4.tar.gz |
gnu: unzip: Rename patch.
* gnu/packages/patches/unzip-case-insensitive.patch: Rename from
unzip-caseinsensitive.patch.
Diffstat (limited to 'gnu/packages/patches')
-rw-r--r-- | gnu/packages/patches/unzip-case-insensitive.patch (renamed from gnu/packages/patches/unzip-caseinsensitive.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnu/packages/patches/unzip-caseinsensitive.patch b/gnu/packages/patches/unzip-case-insensitive.patch index 3cb68450b9..3cb68450b9 100644 --- a/gnu/packages/patches/unzip-caseinsensitive.patch +++ b/gnu/packages/patches/unzip-case-insensitive.patch |