optimization bug fixes

[debian/openrocket] / build.properties

diff --git a/build.properties b/build.properties
index c99946b5a029b3f70e2ad4d1603a7f71d5c31f79..b321d08ec284c66d43721b909280f10bc5679c16 100644 (file)
--- a/build.properties
+++ b/build.properties
@@ -1,7 +1,7 @@
 
 # The OpenRocket build version
 
-build.version=1.1.7pre
+build.version=1.1.7
 
 
 # The source of the package.  When building a package for a specific