diff options
Diffstat (limited to 'OpenPGP-Keychain')
-rw-r--r-- | OpenPGP-Keychain/project.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/OpenPGP-Keychain/project.properties b/OpenPGP-Keychain/project.properties index 7acfa6b58..7347abfcd 100644 --- a/OpenPGP-Keychain/project.properties +++ b/OpenPGP-Keychain/project.properties @@ -11,3 +11,4 @@ target=android-19 android.library.reference.1=../libraries/ActionBarSherlock android.library.reference.2=../libraries/HtmlTextView +android.library.reference.3=../libraries/pinned-section-listview/library |