joerg 4a7f684a0b Fix build with newer libgnomeui.		2009-07-06 22:42:24 +00:00
..
patch-aa
patch-ab	Fix build with newer libgnomeui.	2009-07-06 22:42:24 +00:00