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>
____________________ Racket Users list: http://lists.racket-lang.org/users
