Robby Findler b8cb62ce42 fix preferences snapshots ... closes PR 15398		2017-01-23 17:54:32 -06:00
..
embedded-gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
framework	fix preferences snapshots	2017-01-23 17:54:32 -06:00
hierlist	Remove extra directories.	2014-12-02 02:33:07 -05:00
icons	include icons needed by "gui-lib" in the package	2016-01-08 16:31:52 -07:00
mred	unbreak for GTK+ 2	2017-01-05 17:02:14 -07:00
mrlib	add some missing docs	2016-11-24 12:12:04 -06:00
racket	racket/gui/interactive should be using racket/base	2016-07-25 22:39:16 -04:00
scheme	Remove extra directories.	2014-12-02 02:33:07 -05:00
scribble/private	fix search for containing text region	2016-09-11 20:51:19 -05:00
info.rkt	add preference layers	2017-01-22 21:28:20 -06:00
LICENSE.txt	Remove extra directories.	2014-12-02 02:33:07 -05:00