Remove now unnecessary file

Authored by kfunk on Mar 22 2018, 1:23 PM.

Description

Remove now unnecessary file

Details

Committed
kfunkMar 22 2018, 1:23 PM
Parents
R52:b9ef54d3b963: Attempt to fix Windows build
Branches
Unknown
Tags
Unknown