[racket-dev] tool-names -> drracket-tool-names ?

From: John Clements (clements at brinckerhoff.org)
Date: Fri Feb 4 16:04:24 EST 2011

It looks like the infotab/setup field named "tool-names" has been renamed "drracket-tool-names".  Is this correct? Should I make this change in all my PLaneT packages?

John

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4669 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110204/3a66db51/attachment.p7s>

Posted on the dev mailing list.