Robby Findler 6c4426ce3e renamed the preferences to drracket: ... original commit: fbf52d6957bde0011b654291b5ba3fd714f976c5		2010-04-29 11:03:06 -05:00
collects	renamed the preferences to drracket:	2010-04-29 11:03:06 -05:00
doc/release-notes/mred	update release notes; merge to 4.2.5	2010-03-28 14:08:30 +00:00
man/man1	add setup-plt and mzc man pages	2008-01-05 23:41:46 +00:00