Jan Tojnar 919fc66e9d gnome.yelp: switch to webkitgtk_4_1 ... To reduce the number of WebKits in closure. webkitgtk_4_1 should be the most common one in GNOME now.		2022-10-11 18:52:36 +02:00
..
default.nix	gnome.yelp: switch to webkitgtk_4_1	2022-10-11 18:52:36 +02:00