These files were supposed to have been deleted.

They were removed from the SVN repository in r1392. Why do they still
exist on GitHub?
Merge pull request #30 from Gaerzi/master

Deleting redundant files