On Saturday, 19 September 2015 at 01:54:08 UTC, Joel wrote:
I accidentally wiped off a small source file. I've been trying
to put it back together. Now I get unrelated errors. I've tried
resetting dub.
To reset DUB state completely:
- remove .dub/ directory in the project directory
-
On Saturday, 19 September 2015 at 07:24:01 UTC, ponce wrote:
On Saturday, 19 September 2015 at 01:54:08 UTC, Joel wrote:
I accidentally wiped off a small source file. I've been trying
to put it back together. Now I get unrelated errors. I've
tried resetting dub.
To reset DUB state
On Saturday, 19 September 2015 at 08:33:05 UTC, Joel wrote:
On Saturday, 19 September 2015 at 07:24:01 UTC, ponce wrote:
On Saturday, 19 September 2015 at 01:54:08 UTC, Joel wrote:
I accidentally wiped off a small source file. I've been
trying to put it back together. Now I get unrelated