Update DNS man to 0.7.2 (72)

2015-10-06 08:57:38 +02:00 · 2015-10-06 08:57:38 +02:00 · 3c40ea3739
parent 89b3c76cd7
commit 3c40ea3739
1 changed files with 7 additions and 0 deletions
--- a/metadata/io.github.otakuchiyan.dnsman.txt
+++ b/metadata/io.github.otakuchiyan.dnsman.txt
@ -32,6 +32,13 @@ Build:0.7.1,71
        sh depending_repos.sh && \
        popd

+Build:0.7.2,72
+    commit=v0.7.2
+    subdir=app
+    gradle=yes
+    prebuild=cd .. && \
+        ./depending_repos.sh
+
 Auto Update Mode:None
 # Auto Update Mode:Version v%v
 Update Check Mode:Tags