On Fri, Feb 15, 2013 at 12:19 PM, José Pedro Magalhães <span dir="ltr">&lt;<a href="mailto:jpm@cs.uu.nl" target="_blank">jpm@cs.uu.nl</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

I believe you can just rm -rf libraries/dph.<br></blockquote><div><br></div><div>I do that sometimes and it works fine for me. I also think you can modify the packages file (or some other config file) to have it excluded by default.</div>

<div> </div></div>