From 5e946a2f195ccbcc6318c2c95fceb472d1431c99 Mon Sep 17 00:00:00 2001
From: Alessandro Astone <ales.astone@gmail.com>
Date: Tue, 31 Oct 2023 16:45:05 +0100
Subject: [PATCH] Upver to 1.4.2

---
 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 2f726d6..2d8ae13 100644
--- 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.4.1"
+version = "1.4.2"
 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