From e46fd43be9d81d0aab83a6050cd2c8babcd450eb Mon Sep 17 00:00:00 2001 From: Christoph Rueger Date: Tue, 21 May 2024 16:47:23 +0200 Subject: [PATCH] mention <> placeholderin repo plugin UI Signed-off-by: Christoph Rueger --- bndtools.core/_plugin.xml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/bndtools.core/_plugin.xml b/bndtools.core/_plugin.xml index a20e2fc9f0..1ab4ff787a 100644 --- a/bndtools.core/_plugin.xml +++ b/bndtools.core/_plugin.xml @@ -839,7 +839,7 @@ helpUrl="https://bnd.bndtools.org/plugins/filerepo.html"> - + @@ -850,7 +850,7 @@ helpUrl="https://bnd.bndtools.org/plugins/osgirepo.html"> - + - + - + @@ -922,7 +922,7 @@ name="P2Repository" helpUrl="https://bnd.bndtools.org/plugins/p2repo.html"> - + @@ -932,7 +932,7 @@ name="Maven POM Repository" helpUrl="https://bnd.bndtools.org/plugins/pomrepo.html"> - +