diff options
| -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
|