.desktop files should not be executable (#815)

[waydroid.git] / tools / config / __init__.py

diff --git a/tools/config/__init__.py b/tools/config/__init__.py
index 76a21623cd28a53f8edbb180879cee1f988f78a9..deabd4ecd33a91d501a9cd66b3d12c6f8cdda8fd 100644 (file)
--- a/tools/config/__init__.py
+++ b/tools/config/__init__.py
@@ -12,7 +12,7 @@ from tools.config.save import save
 #
 # Exported variables (internal configuration)
 #
-version = "1.3.4"
+version = "1.4.0"
 tools_src = os.path.normpath(os.path.realpath(__file__) + "/../../..")
 
 # Keys saved in the config file (mostly what we ask in 'waydroid init')