Matthew Flatt 6e7964b0b7 include icons needed by "gui-lib" in the package ... The "plt-logo-48x48.png" file is a copy of "plt-48x48.png" from "icons", but renamed to avoid conflicts.		2016-01-08 16:31:52 -07:00
..
cocoa	avoid an NSTableColumn warning	2016-01-08 07:58:53 -07:00
common	skip clean-up of bitmap that isn't there	2015-10-29 07:43:45 -04:00
gtk	include icons needed by "gui-lib" in the package	2016-01-08 16:31:52 -07:00
win32	Windows play-sound: remove extra delay after async	2016-01-05 07:31:01 -07: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