From 5fbeab5eb3caf2caba7ec777fe679cbcda1a1ead Mon Sep 17 00:00:00 2001 From: Paul Ebbers Date: Fri, 10 Jan 2025 19:33:03 +0100 Subject: [PATCH] updated version --- package.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.xml b/package.xml index 76cebb9..5d7f553 100644 --- a/package.xml +++ b/package.xml @@ -5,7 +5,7 @@ Adds a search bar widget for tools, document objects, and preferences - 1.3.x + 1.3.0 2022-06-01