Matthew Flatt 7e405bffea racket/gui gtk: preserve button font on label change ... original commit: 306194e9fa987ad80a4aeb5f1312ffa72e9b5e11		2013-04-25 06:05:22 -06:00
collects	racket/gui gtk: preserve button font on label change	2013-04-25 06:05:22 -06: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