[racket] removing a plugin from /collects

From: Stephen De Gabrielle (stephen.degabrielle at acm.org)
Date: Mon Sep 9 01:44:55 EDT 2013

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>

Posted on the users mailing list.