David Laight wrote:
> How long was it there? and was it ever in a build?
> If not built it can be deleted from the repository.

Not for long and it was never hooked to the build.
It can be removed but I don't know how.

Alex

Reply via email to