Remove unused file

Authored by mlaurent on Jan 7 2018, 10:02 AM.

Description

Remove unused file

(cherry picked from commit d212fa1d09421045849f6f6d73161af7f72448f0)

Details

Committed
kfunkJan 10 2018, 10:23 AM
Parents
R32:64c125114edb: Remove unused file
Branches
Unknown
Tags
Unknown