Juan RP 792f7b96b7 webkit-gtk: update to 1.2.5.		2010-10-24 20:51:39 +02:00
..
patches	webkit-gtk: update to 1.2.5.	2010-10-24 20:51:39 +02:00
depends	Major infrastructure changes, part 2.	2009-11-22 08:31:44 +01:00
gir-webkit-gtk.template	webkit-gtk: update to 1.2.5.	2010-10-24 20:51:39 +02:00
template	webkit-gtk: update to 1.2.5.	2010-10-24 20:51:39 +02:00
webkit-gtk-devel.template	webkit-gtk: update to 1.2.5.	2010-10-24 20:51:39 +02:00