diff --git a/metadata/steele.gerry.dotty.txt b/metadata/steele.gerry.dotty.txt index 40bbb0c54e..a270726e74 100644 --- a/metadata/steele.gerry.dotty.txt +++ b/metadata/steele.gerry.dotty.txt @@ -14,9 +14,9 @@ on android devices. Repo Type:git Repo:https://github.com/easytiger/dotty.git -Build:Original,2 +Build:2,2 commit=f6762ce2d4fa565755d53b894ae8639b1ab27342 - target=android-10 + forceversion=yes Auto Update Mode:None Update Check Mode:RepoManifest