Actually delete files in 07233d8cd6.

This was SVN commit r19522.
This commit is contained in:
fatherbushido 2017-05-06 14:39:10 +00:00
parent 07233d8cd6
commit ed72056fb5
4 changed files with 0 additions and 0 deletions