Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Actually removing the files that have been checked out of SVN, after checking them into git of course, is a good idea... Signed-Off-By: Matthias Urlichs <smurf@smurf.noris.de>
- Loading branch information