diff options
author | Marius Bakke <mbakke@fastmail.com> | 2018-09-20 16:56:15 +0200 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2018-09-26 00:33:01 +0200 |
commit | a0c9ba1d64be641192a22de3284aee2acb69214e (patch) | |
tree | b58ddaeb8d8b7e80ddf231d7dc29949c6962a163 /.gitignore | |
parent | 9b1bb75781118b1460563171aae503aa9ba702a8 (diff) | |
download | guix-a0c9ba1d64be641192a22de3284aee2acb69214e.tar.gz |
gnu: webkitgtk: Remove obsolete phase.
* gnu/packages/webkit.scm (webkitgtk)[arguments]: Remove #:phases. (webkitgtk-2.22)[arguments]: Don't reference removed phase.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions