19
OK, done.
How to do it?
If you use TortoiseSVN, right Click on the directory that you want to delete, then select "TortoiseSVN" menu, and from there select "Delete" Menu. Once done, right click on the "parent" directory (here "core"), and select "SVN Commit".