I found a way to achieve this by fiddling around. Neither of these is ideal - can anyone improve on this?
Option 1: Delete in SVN repository, then resolve
- Navigate to
Window -> Open Perspective -> SVN Repository Exploring
to view the repository.
- Right-click on the file and press
Delete...
- Navigate back to
Spring
perspective
- Right-click on the file and press
Team -> Show Tree Conflicts
- In
SVN Tree Conflicts
perspective, right-click and press Resolve...
to explicitly accept the repository deletion
- In
Spring
perspective, right-click on the file and press Team -> Add to svn:ignore
Option 2: Delete locally, then resolve
- Move file somewhere else on local
- Commit to repository
- Copy file back into tracked project
- Add to
svn:ignore