gui/gui-lib/mred/private/wx
Matthew Flatt 1c65d669f3 remove unnecessary finalization (GTK+ 2)
Remove a misguided attempt to improve finaliation while
making GTK+ 3 changes, although this change affected only
GTK+ 2.
2015-08-18 10:28:44 -06:00
..
cocoa Support and prefer GTK+ 3 on Unix/X 2015-08-16 20:55:35 -06:00
common Support and prefer GTK+ 3 on Unix/X 2015-08-16 20:55:35 -06:00
gtk remove unnecessary finalization (GTK+ 2) 2015-08-18 10:28:44 -06:00
win32 Support and prefer GTK+ 3 on Unix/X 2015-08-16 20:55:35 -06:00
info.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
platform.rkt Support and prefer GTK+ 3 on Unix/X 2015-08-16 20:55:35 -06:00