[plt-dev] svn annoyances

[Dave Herman]

> Whenver I do an svn mv (even from one directory to that same
> directory), I end up having to delete and re-download the entire tree.

Yeah, I have the same problem on my laptop. Eli was never able to figure 
out what was going wrong.

Dave