-
- Downloads
Always inherit groupId and version from parent pom.xml
One less thing to update when bumping the version number!
Showing
- org.eventb.texteditor.feature/pom.xml 0 additions, 2 deletionsorg.eventb.texteditor.feature/pom.xml
- org.eventb.texteditor.parsers/pom.xml 0 additions, 1 deletionorg.eventb.texteditor.parsers/pom.xml
- org.eventb.texteditor.repository/pom.xml 0 additions, 2 deletionsorg.eventb.texteditor.repository/pom.xml
- org.eventb.texteditor.ui/pom.xml 0 additions, 2 deletionsorg.eventb.texteditor.ui/pom.xml
- org.eventb.texttools/pom.xml 0 additions, 2 deletionsorg.eventb.texttools/pom.xml
Please register or sign in to comment