diff options
| author | Leo Famulari <leo@famulari.name> | 2019-02-04 23:40:45 +0100 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2019-02-04 23:45:25 +0100 |
| commit | bfa3e64d7f97c759e5b4f5977827100ecd0df03c (patch) | |
| tree | 2469b3fa44b804689dd72cdef8a6e7cfd89827eb /nix | |
| parent | 308d72bfe4fced4cf5b2464e70e458a74b3598cc (diff) | |
| download | patches-bfa3e64d7f97c759e5b4f5977827100ecd0df03c.tar patches-bfa3e64d7f97c759e5b4f5977827100ecd0df03c.tar.gz | |
gnu: Removed unused patch 'readline-7.0-mingw.patch'.
This patch was introduced in commit ae12d586275cdd96db23fb01bf840b2055b5b979,
but it was never used.
See <https://bugs.gnu.org/26581> for more information.
* gnu/packages/patches/readline-7.0-mingw.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions