From 845ea16b50925d1154d801e5e2af3bf57d1592be Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 28 Feb 2024 16:12:17 +0100
Subject: [PATCH] Don't use explicit url and version in category.xml
One less thing to bump manually when making a new version.
---
org.eventb.texteditor.repository/category.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/org.eventb.texteditor.repository/category.xml b/org.eventb.texteditor.repository/category.xml
index 82a5bab..ebdeb2c 100644
--- a/org.eventb.texteditor.repository/category.xml
+++ b/org.eventb.texteditor.repository/category.xml
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<site>
- <feature url="features/org.eventb.texteditor.feature_3.5.2.qualifier.jar" id="org.eventb.texteditor.feature" version="3.5.2.qualifier">
+ <feature id="org.eventb.texteditor.feature" version="0.0.0">
<category name="org.eventb.texteditor.feature.category"/>
</feature>
--
GitLab