From d2a43e66b54c7505e263b86d50a27e6361c3eebe Mon Sep 17 00:00:00 2001 From: Paul Ebbers Date: Sun, 12 Jan 2025 20:18:25 +0100 Subject: [PATCH] increased version --- package.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.xml b/package.xml index 64bffdb..e7bf5ea 100644 --- a/package.xml +++ b/package.xml @@ -5,7 +5,7 @@ Adds a search bar widget for tools, document objects, and preferences - 1.3.2 + 1.3.3 2022-06-01