Robby Findler 61acd2eb5d DrRacket now saves the font size preference on a per-monitor-configuration basis ... original commit: 9a7af8c84033f3bd276a2717c3dc37f6076b6e83		2013-05-10 08:21:00 -05:00
collects	DrRacket now saves the font size preference on a per-monitor-configuration basis	2013-05-10 08:21:00 -05:00
doc/release-notes	remove unsupported MDI styles and method	2011-08-04 08:02:54 -06:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00