Dotty: Set target api level 10

2014-03-02 00:16:06 +01:00 · 2014-03-02 00:16:06 +01:00 · 5bd4cc453a
parent de6e6232a8
commit 5bd4cc453a
1 changed files with 1 additions and 0 deletions
--- 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