On Fri, 11 Jan 2013, Yegor Kozlov wrote:
Deleteing them is the simplest solution. The other option is to keep the docs directory but point it to the new docs location via svn:externals.
That makes sense to me, so I've gone ahead and changed it to that Nick --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
