diff options
author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-12-16 02:11:07 +0100 |
---|---|---|
committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-12-16 02:11:07 +0100 |
commit | 9f6210cc5c114310a38ad1cc0ff5900409a7e7cc (patch) | |
tree | b0328d700eefa66dc78a4c761c6191de7dabdff8 /po | |
parent | 822befbcae1ba3e06327c4dd9865bcfd61a49616 (diff) | |
download | guix-9f6210cc5c114310a38ad1cc0ff5900409a7e7cc.tar.gz guix-9f6210cc5c114310a38ad1cc0ff5900409a7e7cc.zip |
gnu: yelp: Build with webkitgtk-for-gtk3.
This replacement was omitted in f3da903b0169edc19e07be5a91c80488332abe09:
Yelp 42 still builds with GTK+ 3, so let's use the right Webkit.
* gnu/packages/gnome.scm (yelp)[inputs]: Replace webkitgtk with
webkitgtk-for-gtk3.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions