From 52c6623a8aa7f05ee49d66f7db15f3b783a63b48 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 5 Jul 2023 16:51:45 +0200
Subject: [PATCH] Remove explicit plugin version numbers in feature.xml
The build fills them in automatically.
---
org.eventb.texteditor.feature/feature.xml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 83a6dd8..0c4d9a7 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -202,21 +202,21 @@ Inc. in the United States, other countries, or both.
id="org.eventb.texteditor.ui"
download-size="0"
install-size="0"
- version="3.4.1.qualifier"
+ version="0.0.0"
unpack="false"/>
<plugin
id="org.eventb.texttools"
download-size="0"
install-size="0"
- version="3.4.1.qualifier"
+ version="0.0.0"
unpack="false"/>
<plugin
id="org.eventb.texteditor.parsers"
download-size="0"
install-size="0"
- version="3.4.1.qualifier"
+ version="0.0.0"
unpack="false"/>
</feature>
--
GitLab