Juan RP ffae4d1b2f webkit-gtk: remove unknown configure option.
--HG--
extra : convert_revision : d772a9b52ba57ff216819d9944b8ad93787681d8
2009-09-21 11:39:26 +02:00
..
2009-05-15 19:00:36 +02:00