Re: remove html-docs dir?

[Christian Geisert]

Keiron Liddle wrote:

> 
> Can I remove everything under docs/html-docs.


+1

Christian


---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, email: [EMAIL PROTECTED]