gnu: unzip: Rename patch.
* gnu/packages/patches/unzip-case-insensitive.patch: Rename from unzip-caseinsensitive.patch.
This commit is contained in:
parent
31d289a475
commit
cd73a812a3
1 changed files with 0 additions and 0 deletions
Reference in a new issue