From f7b0eb0a1be07a0c1984eba2f06874a775b05640 Mon Sep 17 00:00:00 2001 From: Paul Ebbers Date: Sun, 23 Feb 2025 15:50:41 +0100 Subject: [PATCH] Update version --- package.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.xml b/package.xml index e7bf5ea..ff3b094 100644 --- a/package.xml +++ b/package.xml @@ -5,7 +5,7 @@ Adds a search bar widget for tools, document objects, and preferences - 1.3.3 + 1.4.0 2022-06-01