giovanni d67588d15a Fix a bug with GTK+2 gui and latest lablgtk2 ... From maintainer David Coppa		2009-11-09 16:21:55 +00:00
..
patch-config_configure_in	Update to 3.0.1 from new maintainer David Coppa	2009-10-29 08:28:09 +00:00
patch-config_Makefile_in	Update to 3.0.1 from new maintainer David Coppa	2009-10-29 08:28:09 +00:00
patch-src_gtk2_gui_guiServers_ml	Fix a bug with GTK+2 gui and latest lablgtk2	2009-11-09 16:21:55 +00:00