Merge commit '42b2e5ca519766e37ce6941ba4faecc9691cc403' into upstream

[debian/openrocket] / core / web / htp / htp.def

diff --git a/core/web/htp/htp.def b/core/web/htp/htp.def
index d2aedaa14115d9afb26c1dfe561057a7c440d842..5e6d4bccb16afb79451b4c454459848a76bfacf3 100644 (file)
--- a/core/web/htp/htp.def
+++ b/core/web/htp/htp.def
@@ -1,4 +1,5 @@
-<set version="12.03">
+<set version="12.09">
+<set androidversion="12.03">
 
 <def name="downloadbox">
   <div class="downloadbox">