On Tuesday, 23 March 2021 at 16:04:49 UTC, mw wrote:
Just want to make sure: what I mean is $HOME/.dub/ the whole *dir* tree, it contains all the 3rd party packages; not a single file.
I don't have a $HOME/.dub/ directory, but I did delete the whole .dub/ directory in the project I am trying to compile.
