Skip to content
Permalink
Browse files

Add Egit to target platform to make it possible to experiment with git

support in the Toolbox.

(For now one has to manually add egit to the Toolbox's launch config and
open "Git staging" via the generic Ctrl+3 shortcut.

[Feature][Toolbox]
  • Loading branch information
lemmy committed Dec 1, 2019
1 parent fe63662 commit 4a8c167a57cd73d573d6f55265750616681174c8
Showing with 4 additions and 0 deletions.
  1. +4 −0 org.lamport.tla.toolbox.product.product/TLAToolbox.target
@@ -44,6 +44,10 @@
<repository id="eclipse" location="http://download.eclipse.org/eclipse/updates/4.13/R-4.13-201909161045"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.egit.feature.group" version="0.0.0"/>
<repository location="http://download.eclipse.org/egit/updates/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="de.vonloesch.pdf4eclipse.feature.feature.group" version="0.0.0"/>
<repository location="http://lemmy.github.com/Pdf4Eclipse/"/>
</location>

0 comments on commit 4a8c167

Please sign in to comment.
You can’t perform that action at this time.