From 58f338fbf314a0d73b3debf8076aa9137dd5d7cf Mon Sep 17 00:00:00 2001 From: Boris Kraut Date: Thu, 2 Mar 2017 19:59:58 +0100 Subject: [PATCH] Update debDroid to 0.15 (5) --- metadata/de.mangelow.debdroid.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/metadata/de.mangelow.debdroid.txt b/metadata/de.mangelow.debdroid.txt index ff314de018..34962b9b2b 100644 --- a/metadata/de.mangelow.debdroid.txt +++ b/metadata/de.mangelow.debdroid.txt @@ -19,6 +19,12 @@ Build:0.13,4 prebuild=sed -i 's@\(android.library.reference.1=\).*@\1$$ActionBarSherlock$$@' project.properties target=android-17 +Build:0.15,5 + commit=edf12e39cec940e53a12d0ce922f7bb0917afcaf + srclibs=ActionBarSherlock@4.2.0 + prebuild=sed -i 's@\(android.library.reference.1=\).*@\1$$ActionBarSherlock$$@' project.properties + target=android-17 + Auto Update Mode:None Update Check Mode:RepoManifest Current Version:0.15