Julian Ospald e2bf4d5f03 GTK: have two panels, fixes #52		2016-11-06 01:33:03 +01:00
..
Glib	LIB/GTK: use more recent library versions	2016-04-16 19:14:08 +02:00
Gtk	GTK: have two panels, fixes #52	2016-11-06 01:33:03 +01:00
Gtk.hs	GTK: have two panels, fixes #52	2016-11-06 01:33:03 +01:00