diff --git a/version.properties b/version.properties deleted file mode 100644 index 3f047696..00000000 --- a/version.properties +++ /dev/null @@ -1,4 +0,0 @@ -#Version of the produced binaries. This file is intended to be checked-in. -#It will be automatically bumped by release automation. -version=0.9.18 -previousVersion=0.9.17