[racket] removing a plugin from /collects

Hi,

I'm teaching myself how to create DrRacket plugins.

I couldn't find a raco command to delete a plugin so deleted the
collects/tool-name/compiled folder.

Is DrRacket caching the tools somewhere?

I'm using v5.90.0.9

Cheers,

Stephen


--
Stephen De Gabrielle <http://www.degabrielle.name/stephen>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130909/56bc1252/attachment.html>