Marius Strobl <marius at FreeBSD.org> writes: > Log: > Delete a file that was meant to be renamed while repo-copying it but > wasn't and now is superfluous. It can probably be removed from the repo. DES -- Dag-Erling Smørgrav - des at des.no