Matthew Flatt 84a5dfb367 fix HiDPI detection ... Work (in unscaled mode) on systems where the relevant setting is not available.		2015-08-01 19:08:50 -06:00
..
embedded-gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
framework	fix all-string-snips? predicate	2015-07-25 16:44:22 -05:00
hierlist	Remove extra directories.	2014-12-02 02:33:07 -05:00
icons	Remove extra directories.	2014-12-02 02:33:07 -05:00
mred	fix HiDPI detection	2015-08-01 19:08:50 -06:00
mrlib	add the close-when-hidden? argument to in-terminal	2015-06-08 22:36:28 -05:00
racket	Remove extra directories.	2014-12-02 02:33:07 -05:00
scheme	Remove extra directories.	2014-12-02 02:33:07 -05:00
scribble/private	guard the result of start-skip-spaces better	2015-06-03 18:00:54 -05:00
unstable	Remove extra directories.	2014-12-02 02:33:07 -05:00
info.rkt	HiDPI support on Unix (Gtk2)	2015-08-01 18:06:12 -06:00
LICENSE.txt	Remove extra directories.	2014-12-02 02:33:07 -05:00