tree 0ee177c674d8365181eee49fd86c48a0b38abbc5
parent 6012ef5ee1735f005c535716dcd00383cf275212
author Dave Borowitz <dborowitz@google.com> 1427304741 -0700
committer Dave Borowitz <dborowitz@google.com> 1427304754 -0700

Add config option to disable online reindexing

Change-Id: I18c48008778df86355a0bd57977e13e080f5fc90