Will Dietz 7b66d96910 webkitgtk: 2.22.2 -> 2.22.3 ... https://webkitgtk.org/2018/10/29/webkitgtk2.22.3-released.html		2018-10-31 20:08:48 -05:00
..
2.4.nix
2.20.nix
2.22.nix
configure.patch
fix-execinfo.patch
libc++.patch
plugin-none.patch
quartz-webcore.patch
webcore-svg-libxml-cflags.patch