Skip to content

Commit

Permalink
IDE setup instructions need updating.
Browse files Browse the repository at this point in the history
Part of Github issue #851
#851

[IDE]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
  • Loading branch information
lemmy committed Dec 7, 2023
1 parent 22d8a54 commit 7fcaceb
Showing 1 changed file with 0 additions and 17 deletions.
17 changes: 0 additions & 17 deletions general/ide/TLA.setup
Original file line number Diff line number Diff line change
Expand Up @@ -56,33 +56,16 @@
storageURI="scope://Workspace"/>
<setupTask
xsi:type="setup.p2:P2Task">
<requirement
name="org.eclipse.swtbot.eclipse.feature.group"
filter=""/>
<requirement
name="org.eclipse.swtbot.feature.group"/>
<requirement
name="org.eclipse.ajdt.feature.group"/>
<requirement
name="org.eclipse.pde.feature.group"/>
<requirement
name="org.eclipse.egit.feature.group"/>
<requirement
name="org.eclipse.e4.tools.spies.feature.feature.group"/>
<requirement
name="org.eclipse.rcptt.platform.feature.group"/>
<repository
url="http://download.eclipse.org/technology/swtbot/releases/latest/"/>
<repository
url="http://download.eclipse.org/tools/ajdt/410/dev/update/"/>
<repository
url="http://download.eclipse.org/technology/m2e/releases/latest/"/>
<repository
url="http://download.eclipse.org/e4/snapshots/org.eclipse.e4.tools/latest/"/>
<repository
url="jar:https://raw.githubusercontent.com/tlaplus/tlaplus/master/toolbox/org.lamport.tla.toolbox.product.product/cachedTargetPlatform/com.abstratt.eclipsegraphviz.repository-2.5.201812.zip!/"/>
<repository
url="https://download.eclipse.org/rcptt/release/2.5.1/repository/"/>
<description>Install the tools needed in the IDE to work with the source code for ${scope.project.label}</description>
</setupTask>
<setupTask
Expand Down

0 comments on commit 7fcaceb

Please sign in to comment.