Merge "Mips: Remove unused files"
authorDmitriy Ivanov <dimitry@google.com>
Fri, 21 Nov 2014 22:38:47 +0000 (22:38 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Fri, 21 Nov 2014 22:38:47 +0000 (22:38 +0000)

Trivial merge