
15 Feb
2013
15 Feb
'13
3:35 p.m.
On Fri, Feb 15, 2013 at 12:19 PM, José Pedro Magalhães
I believe you can just rm -rf libraries/dph.
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.