Juan RP ffae4d1b2f webkit-gtk: remove unknown configure option. ... --HG-- extra : convert_revision : d772a9b52ba57ff216819d9944b8ad93787681d8		2009-09-21 11:39:26 +02:00
..
depends
devel.template
template	webkit-gtk: remove unknown configure option.	2009-09-21 11:39:26 +02:00