From 42523729e55e2427d85f99175776b89eef6258a1 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Thu, 6 Jul 2023 14:55:37 +0200 Subject: [PATCH] Remove camille_with_statemachines.target Contains *less* than camille.target and also seems to be older. --- .../camille_with_statemachines.target | 21 ------------------- 1 file changed, 21 deletions(-) delete mode 100644 org.eventb.texteditor.feature/camille_with_statemachines.target diff --git a/org.eventb.texteditor.feature/camille_with_statemachines.target b/org.eventb.texteditor.feature/camille_with_statemachines.target deleted file mode 100644 index 0dddd2e..0000000 --- a/org.eventb.texteditor.feature/camille_with_statemachines.target +++ /dev/null @@ -1,21 +0,0 @@ -<?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?pde version="3.8"?><target name="prob_target" sequenceNumber="80"> -<locations> -<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> -<unit id="org.rodinp.platform.product" version="3.2.0.201506220911-ecacdcb"/> -<repository location="http://rodin-b-sharp.sourceforge.net/core-updates/"/> -</location> -<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> -<unit id="ac.soton.eventb.roseEditor.feature.feature.group" version="1.7.0.release"/> -<unit id="org.eventb.emf.feature.feature.group" version="6.0.0.release"/> -<repository location="http://rodin-b-sharp.sourceforge.net/updates/"/> -</location> -<location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit"> -<unit id="org.eclipse.emf.compare.ide.ui.feature.group" version="3.3.2.201709090201"/> -<unit id="org.eclipse.emf.sdk.feature.group" version="2.13.0.v20170609-0928"/> -<unit id="org.eclipse.pde.feature.group" version="3.13.4.v20180330-0640"/> -<unit id="org.eclipse.sdk.feature.group" version="4.7.3.v20180330-0919"/> -<repository location="http://download.eclipse.org/releases/oxygen/201804111000"/> -</location> -</locations> -</target> -- GitLab