Add option to repair database

This commit is contained in:
2016-09-18 08:09:18 -04:00
parent 518ade3165
commit b1d00598eb
6 changed files with 35 additions and 7 deletions

View File

@@ -100,8 +100,11 @@
<Preference
android:key="bugReport"
android:title="@string/generate_bug_report">
</Preference>
android:title="@string/generate_bug_report"/>
<Preference
android:key="repairDB"
android:title="@string/repair_database"/>
</PreferenceCategory>