diff --git a/.classpath b/.classpath index b2cddcbc4..dbbacc419 100644 --- a/.classpath +++ b/.classpath @@ -1,8 +1,6 @@ - - diff --git a/.project b/.project index 0267f300e..71b4782bb 100644 --- a/.project +++ b/.project @@ -6,33 +6,18 @@ - org.eclipse.ui.externaltools.ExternalToolBuilder - full,incremental, + ch.epfl.lamp.sdt.core.scalabuilder - - LaunchConfigHandle - <project>/.externalToolBuilders/ch.epfl.lamp.sdt.core.scalabuilder.launch - - org.eclipse.ui.externaltools.ExternalToolBuilder - full,incremental, + org.eclipse.pde.ManifestBuilder - - LaunchConfigHandle - <project>/.externalToolBuilders/org.eclipse.pde.ManifestBuilder.launch - - org.eclipse.ui.externaltools.ExternalToolBuilder - full,incremental, + org.eclipse.pde.SchemaBuilder - - LaunchConfigHandle - <project>/.externalToolBuilders/org.eclipse.pde.SchemaBuilder.launch -