From 2a1c48413b3c41a927b45be726d4f85e7a57d122 Mon Sep 17 00:00:00 2001
From: Alessandro Astone <ales.astone@gmail.com>
Date: Fri, 2 Sep 2022 14:07:02 +0200
Subject: [PATCH] tools: Upver to 1.3.1

---
 tools/config/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/config/__init__.py b/tools/config/__init__.py
index 930a673..ffb188e 100644
--- 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)
 #
-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')
-- 
2.47.3