Hans-Christoph Steiner 29658259fa force clean index update when underlying OS is upgraded
Things like permission support, locales, etc. can change when Android is
updated.  So the database should be rebuilt from scratch with a fresh
download of the indexes.

closes #780
2018-01-31 16:20:24 +01:00
..
2018-01-26 22:58:48 +01:00
2017-05-31 17:29:40 +02:00