joerg 036a9f1b49 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