Remove unused file
(cherry picked from commit 58ef0eea0c2d79fbe41f0cb09d93aaec8251fe61)
Eelco Dolstra 10 years ago bb5647ea 925e1f91