layman eb857d0c57 webkit-gtk gcc 9 compatibility		2019-11-24 23:53:34 +01:00
..
webkit-gtk-1.6.1-darwin-quartz.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-1.11.90-gtk-docize-fix.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.2.5-hppa-platform.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.2.5-ia64-platform.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.4.1-ia64-malloc.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.4.4-atomic-ppc.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.4.4-jpeg-9a.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.4.7-disable-webgl.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.4.9-gcc-6.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.4.11-JSStringRef-typedef.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.4.11-U16_NEXT.patch	webkit-gtk gcc 9 compatibility	2019-11-24 23:53:34 +01:00
webkit-gtk-2.4.11-WKString-typedef.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.4.11-video-web-audio.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00
webkit-gtk-2.8.5-fix-ia64-build.patch	webkit-gtk fix for profile 17.0	2017-12-21 21:30:01 +01:00