Remove unused file. (#3695)

This commit is contained in:
Robert Nishihara authored and Philipp Moritz committed 2019-01-07 12:45:48 -08:00
1 parent c9d70f0dda
commit 5dadac148c
1 file changed
Whitespace-only changes.