update to 0.9.7pre

[debian/openrocket] / build.properties

diff --git a/build.properties b/build.properties
index 4bf3b9e31409b4cf9d11a98f92c72251b5f3d883..49f682890689d4c322b7fbb102a2cbbacacca254 100644 (file)
--- a/build.properties
+++ b/build.properties
@@ -1,12 +1,16 @@
 
 # The OpenRocket build version
 
-build.version=0.9.3pre
+build.version=0.9.7pre
 
 
 # The source of the package.  When building a package for a specific
 # distribution (Debian, Fedora etc.), this should be changed appropriately!
-# This is displayed in the About dialog and included in bug reports.
+# This is included in bug reports to identify the source of the software.
 
 build.source=default
 
+
+# Whether checking for updates is enabled by default.
+
+build.checkupdates=true