diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml index 83a6dd8900eead23ff9be018d64f81474fc95560..0c4d9a77c6c73952b2f8dd9b65e0bd1df6a06338 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>