tree 090391d4852b7e36924390431633b615edd2c3fa
parent 8691fed1cb937ac8fab830d77e3aec93b1905fde
author Fan Zhang <zhfan@google.com> 1529528576 -0700
committer Fan Zhang <zhfan@google.com> 1529599116 -0700

Remove search indexing pipeline from Settings

Index is already handled by SettingsIntelligenec. No longer needed in
Settings.

Change-Id: Id43fb3100dc2759185744441cff8cb9cd2d2da20
Fixes: 69808376
Test: robotests