diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-02-03 20:18:52 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-02-06 18:38:00 +0100 |
| commit | f0e810110bf44b6c5c61bf0cdcadc836a7fd459d (patch) | |
| tree | 793b32a4f078adbec3cbf8eaf6b467aefe19e2cb /.gitignore | |
| parent | fe994a0c328b456195fcf64443c28b2ca3f8da76 (diff) | |
| download | guix-f0e810110bf44b6c5c61bf0cdcadc836a7fd459d.tar.gz | |
gnu: WebKitGTK: Remove obsolete patch.
This patch was added in eb5f3ea1003f76545b197b1e779e2967ec379475 and no longer necessary since the update to 2.26.3 in f32ca55778eb049e83210aedcbeb4df2c98e587a. * gnu/packages/patches/webkitgtk-icu-65.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/webkit.scm (webkitgtk)[source](patches): Remove.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions