DB.java: remove unused prefs, use pref names from Preferences.java
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 15 Jan 2014 22:51:24 +0000 (23:51 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 15 Jan 2014 22:51:24 +0000 (23:51 +0100)
commit305daf5a1063cc7224de15e96a2db23cbf21b9d3
tree0e6a11bcb5d72e80684947494fa40337c87325f2
parentd99e3edb5258c502def2e334c09f46202e5ecba2
DB.java: remove unused prefs, use pref names from Preferences.java
src/org/fdroid/fdroid/DB.java