From 1ba4f2acf1253f1f2b3fd478f9506d5f6474f403 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Sun, 2 Mar 2014 14:09:42 +0100
Subject: [PATCH] Dotty: don't use silly version name

---
 metadata/steele.gerry.dotty.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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