tools: Upver to 1.3.1

diff --git a/tools/config/__init__.py b/tools/config/__init__.py
index 930a6732169083feb28b4756cf7a9bac6dbb1d88..ffb188e3af1995d7b685845d607727ecfded6ee1 100644 (file)
--- a/tools/config/__init__.py
+++ b/tools/config/__init__.py
@@ -12,7 +12,7 @@ from tools.config.save import save, save_session
 #
 # Exported variables (internal configuration)
 #
 #
 # Exported variables (internal configuration)
 #

-version = "1.3.0"
+version = "1.3.1"

 tools_src = os.path.normpath(os.path.realpath(__file__) + "/../../..")
 
 # Keys saved in the config file (mostly what we ask in 'waydroid init')
 tools_src = os.path.normpath(os.path.realpath(__file__) + "/../../..")
 
 # Keys saved in the config file (mostly what we ask in 'waydroid init')