<div dir="ltr"><div style>Hi, </div><div style><br></div><div style>I&#39;m teaching myself how to create DrRacket plugins.</div><div style><br></div><div style>I couldn&#39;t find a raco command to delete a plugin so deleted the collects/tool-name/compiled folder.</div>
<div style><br></div><div style>Is DrRacket caching the tools somewhere?</div><div style><br></div><div style>I&#39;m using v5.90.0.9</div><div style><br></div><div style>Cheers, </div><div style><br></div><div style>Stephen</div>
<div style><br></div><br clear="all"><div><div dir="ltr">--<br><a href="http://www.degabrielle.name/stephen" target="_blank">Stephen De Gabrielle</a><div><br></div></div></div>
</div>