From 5bd4cc453a23ad5b790887ed00f868c44d4609cb Mon Sep 17 00:00:00 2001 From: Boris Kraut Date: Sun, 2 Mar 2014 00:16:06 +0100 Subject: [PATCH] Dotty: Set target api level 10 --- metadata/steele.gerry.dotty.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/metadata/steele.gerry.dotty.txt b/metadata/steele.gerry.dotty.txt index 7bf254e396..40bbb0c54e 100644 --- a/metadata/steele.gerry.dotty.txt +++ b/metadata/steele.gerry.dotty.txt @@ -16,6 +16,7 @@ Repo:https://github.com/easytiger/dotty.git Build:Original,2 commit=f6762ce2d4fa565755d53b894ae8639b1ab27342 + target=android-10 Auto Update Mode:None Update Check Mode:RepoManifest