-
- Downloads
Bump version number to 3.5.2
Showing
- org.eventb.texteditor.feature/feature.xml 1 addition, 1 deletionorg.eventb.texteditor.feature/feature.xml
- org.eventb.texteditor.feature/pom.xml 1 addition, 1 deletionorg.eventb.texteditor.feature/pom.xml
- org.eventb.texteditor.parent/pom.xml 1 addition, 1 deletionorg.eventb.texteditor.parent/pom.xml
- org.eventb.texteditor.parsers/META-INF/MANIFEST.MF 1 addition, 1 deletionorg.eventb.texteditor.parsers/META-INF/MANIFEST.MF
- org.eventb.texteditor.parsers/pom.xml 1 addition, 1 deletionorg.eventb.texteditor.parsers/pom.xml
- org.eventb.texteditor.repository/category.xml 1 addition, 1 deletionorg.eventb.texteditor.repository/category.xml
- org.eventb.texteditor.repository/pom.xml 1 addition, 1 deletionorg.eventb.texteditor.repository/pom.xml
- org.eventb.texteditor.ui/META-INF/MANIFEST.MF 3 additions, 3 deletionsorg.eventb.texteditor.ui/META-INF/MANIFEST.MF
- org.eventb.texteditor.ui/pom.xml 1 addition, 1 deletionorg.eventb.texteditor.ui/pom.xml
- org.eventb.texttools/META-INF/MANIFEST.MF 2 additions, 2 deletionsorg.eventb.texttools/META-INF/MANIFEST.MF
- org.eventb.texttools/pom.xml 1 addition, 1 deletionorg.eventb.texttools/pom.xml
Loading
Please register or sign in to comment