Add the new github repository to the WOLips product repositories.

wocommunity · Nov 29, 2024 · a184610 · a184610
1 parent dfaba28
commit a184610
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/wolips/wolips.product/wolips.product b/wolips/wolips.product/wolips.product
@@ -3,7 +3,6 @@
 
 <product name="WOLips Development Environment" uid="wolips.product" id="org.objectstyle.wolips.wolips_product" application="org.eclipse.ui.ide.workbench" version="5.0.0.qualifier" type="features" includeLaunchers="true" autoIncludeRequirements="true">
 
-
    <configIni use="default">
    </configIni>
 
@@ -17,12 +16,10 @@
    <windowImages/>
 
 
-
    <vm>
       <windows include="false">org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21</windows>
    </vm>
 
-
    <plugins>
    </plugins>
 
@@ -47,6 +44,10 @@
       <property name="osgi.requiredJavaVersion" value="21" />
    </configurations>
 
+   <repositories>
+      <repository location="https://wocommunity.github.io/wolips/repository/" name="WOLips" enabled="true" />
+   </repositories>
+
    <preferencesInfo>
       <targetfile overwrite="true"/>
    </preferencesInfo>