Hmm. Odd. Can you just delete them on the server?

You can do this through Explore Webspace in Publish Settings