-
- Downloads
Fix inconsistent indents and formatting in build scripts
Showing
- org.eventb.texteditor.feature/pom.xml 14 additions, 14 deletionsorg.eventb.texteditor.feature/pom.xml
- org.eventb.texteditor.parent/pom.xml 22 additions, 23 deletionsorg.eventb.texteditor.parent/pom.xml
- org.eventb.texteditor.parsers/build.gradle 4 additions, 6 deletionsorg.eventb.texteditor.parsers/build.gradle
- org.eventb.texteditor.parsers/pom.xml 35 additions, 36 deletionsorg.eventb.texteditor.parsers/pom.xml
- org.eventb.texteditor.repository/category.xml 4 additions, 7 deletionsorg.eventb.texteditor.repository/category.xml
- org.eventb.texteditor.repository/pom.xml 13 additions, 19 deletionsorg.eventb.texteditor.repository/pom.xml
- org.eventb.texteditor.ui/pom.xml 12 additions, 14 deletionsorg.eventb.texteditor.ui/pom.xml
- org.eventb.texttools/pom.xml 12 additions, 14 deletionsorg.eventb.texttools/pom.xml
Loading
Please register or sign in to comment