remove file that should not be under SVN control
Authored by: philsp 2020-01-16
Parent: [r5464]
Child: [r5466]