diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2015-05-06 08:38:06 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2015-05-07 20:17:42 +0200 |
commit | 7b05ba9161579004ace734efc42d48c6f1708d5c (patch) | |
tree | e2b1ddf8569049840c3d695c430889e99d3c6412 /etc | |
parent | c024ae3601d645fc332ba97895a77454433003b3 (diff) | |
download | patches-7b05ba9161579004ace734efc42d48c6f1708d5c.tar patches-7b05ba9161579004ace734efc42d48c6f1708d5c.tar.gz |
gnu: Add WebkitGTK 2.4.8.
* gnu/packages/webkit.scm (webkitgtk-2.4): New variable.
* gnu/packages/patches/webkitgtk-2.4.8-gmutexlocker.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions