remove an obsolete file that should've gone with r77252
1 file changed