fix from other branch

[debian/openrocket] / build.properties

diff --git a/build.properties b/build.properties
index 4bf3b9e31409b4cf9d11a98f92c72251b5f3d883..0fa9bd663d024b5def01891edaa1a1d687913dbc 100644 (file)
--- a/build.properties
+++ b/build.properties
@@ -1,7 +1,7 @@
 
 # The OpenRocket build version
 
-build.version=0.9.3pre
+build.version=0.9.5pre
 
 
 # The source of the package.  When building a package for a specific
@@ -10,3 +10,7 @@ build.version=0.9.3pre
 
 build.source=default
 
+
+# Whether checking for updates is enabled by default.
+
+build.checkupdates=true