-
- Downloads
remove gradle, switch to direct tycho build
Showing
- build.gradle 0 additions, 36 deletionsbuild.gradle
- org.eventb.texteditor.feature/feature.xml 8 additions, 1 deletionorg.eventb.texteditor.feature/feature.xml
- org.eventb.texteditor.parent/pom.xml 10 additions, 7 deletionsorg.eventb.texteditor.parent/pom.xml
- org.eventb.texteditor.parsers/.classpath 13 additions, 0 deletionsorg.eventb.texteditor.parsers/.classpath
- org.eventb.texteditor.parsers/.project 28 additions, 0 deletionsorg.eventb.texteditor.parsers/.project
- org.eventb.texteditor.parsers/.settings/org.eclipse.jdt.core.prefs 7 additions, 0 deletions...b.texteditor.parsers/.settings/org.eclipse.jdt.core.prefs
- org.eventb.texteditor.parsers/META-INF/MANIFEST.MF 60 additions, 0 deletionsorg.eventb.texteditor.parsers/META-INF/MANIFEST.MF
- org.eventb.texteditor.parsers/build.gradle 25 additions, 0 deletionsorg.eventb.texteditor.parsers/build.gradle
- org.eventb.texteditor.parsers/build.properties 4 additions, 0 deletionsorg.eventb.texteditor.parsers/build.properties
- org.eventb.texteditor.parsers/pom.xml 41 additions, 0 deletionsorg.eventb.texteditor.parsers/pom.xml
- org.eventb.texteditor.parsers/src/org/eventb/texteditor/parsers/Activator.java 30 additions, 0 deletions....parsers/src/org/eventb/texteditor/parsers/Activator.java
- org.eventb.texteditor.ui/META-INF/MANIFEST.MF 2 additions, 1 deletionorg.eventb.texteditor.ui/META-INF/MANIFEST.MF
- org.eventb.texteditor.ui/build.properties 0 additions, 2 deletionsorg.eventb.texteditor.ui/build.properties
- org.eventb.texteditor.ui/src/org/eventb/texteditor/ui/outline/LabelHelper.java 2 additions, 2 deletions....ui/src/org/eventb/texteditor/ui/outline/LabelHelper.java
- org.eventb.texttools/META-INF/MANIFEST.MF 2 additions, 1 deletionorg.eventb.texttools/META-INF/MANIFEST.MF
- org.eventb.texttools/build.gradle 0 additions, 7 deletionsorg.eventb.texttools/build.gradle
- org.eventb.texttools/build.properties 2 additions, 5 deletionsorg.eventb.texttools/build.properties
- settings.gradle 0 additions, 1 deletionsettings.gradle
- tycho_build.gradle 0 additions, 923 deletionstycho_build.gradle
build.gradle
deleted
100644 → 0
org.eventb.texteditor.parsers/.classpath
0 → 100644
org.eventb.texteditor.parsers/.project
0 → 100644
org.eventb.texteditor.parsers/build.gradle
0 → 100644
org.eventb.texteditor.parsers/pom.xml
0 → 100644
org.eventb.texttools/build.gradle
deleted
100644 → 0
settings.gradle
deleted
100644 → 0
tycho_build.gradle
deleted
100644 → 0
This diff is collapsed.
Please register or sign in to comment