Commit 31b5ce06 authored by Dennis Hendriks's avatar Dennis Hendriks
Browse files

Merge branch '13-javabdd-missing-from-eclipse-escet-update-site' into 'develop'

Resolve "JavaBDD missing from Eclipse ESCET update site"

Closes #13

See merge request !12
parents ae501942 00b25b0d
Pipeline #68 running with stage
......@@ -11,6 +11,9 @@
<feature url="features/com.github.javabdd.feature_1.0.1.qualifier.jar" id="com.github.javabdd.feature" version="1.0.1.qualifier">
<category name="org.eclipse.escet.thirdparty.category"/>
<feature url="features/org.eclipse.escet.chi.feature_0.1.0.qualifier.jar" id="org.eclipse.escet.chi.feature" version="0.1.0.qualifier">
<category name="org.eclipse.escet.chi.category"/>
......@@ -70,6 +73,12 @@
Eclipse ESCET tooling for the SeText language.
<category-def name="org.eclipse.escet.thirdparty.category" label="Eclipse ESCET Third Party (Incubation)">
<category name="org.eclipse.escet.category"/>
Eclipse ESCET third party dependencies that are distributed by the Eclipse ESCET project itself.
<category-def name="org.eclipse.escet.tooldef.category" label="Eclipse ESCET ToolDef (Incubation)">
<category name="org.eclipse.escet.category"/>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment