Robby Findler 1f3c357621 adjust the print-to-ps preference in DrRacket so that you can also ... choose to print to pdf as well. Also, enable the preference under linux (ie, make it available to be chosen-- all platforms still default to printing via the platform-specific mechanism) original commit: c675cf47f03cd50ff305bc7947c95628da151da5		2012-09-17 10:47:22 -05:00
collects	adjust the print-to-ps preference in DrRacket so that you can also	2012-09-17 10:47:22 -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