7da688f138
Add GroupDefinition service. Update subscriptions to not have a group name when their group is deleted. Amend: Rebase to HEAD of 13.2.1. Change-Id: I817ca1912f76ccf347907ddb12e3f6fd8de7e5aa Former-commit-id:3ec05a5a9c[formerly557de162b0] [formerly3ec05a5a9c[formerly557de162b0] [formerly15c2c55ff9[formerly 464b46dd4f4af60dbeb917f65c18c876d712e4ad]]] Former-commit-id:15c2c55ff9Former-commit-id:756080321e[formerlya3c99f86bb] Former-commit-id:2168713505
8 lines
341 B
XML
8 lines
341 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<classpath>
|
|
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
|
|
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
|
<classpathentry kind="src" path="src"/>
|
|
<classpathentry kind="src" path="res"/>
|
|
<classpathentry kind="output" path="bin"/>
|
|
</classpath>
|