|
1
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
<jardesc>
|
|
3
|
<jar path="C:/dev/workspaces/general-purpose-navigator/org.eclipse.ui.views.navigator/navigator.jar"/>
|
|
4
|
<options compress="true"
|
|
5
|
descriptionLocation="/org.eclipse.ui.views.navigator/scripts/src.jardesc"
|
|
6
|
exportErrors="true" exportWarnings="true" logErrors="true"
|
|
7
|
logWarnings="true" overwrite="false" saveDescription="true" useSourceFolders="false"/>
|
|
8
|
<manifest generateManifest="false"
|
|
9
|
manifestLocation="/org.eclipse.ui.views.navigator/src/META-INF/MANIFEST.MF"
|
|
10
|
manifestVersion="1.0" reuseManifest="false" saveManifest="false" usesManifest="false">
|
|
11
|
<sealing sealJar="false"><packagesToSeal/><packagesToUnSeal/></sealing>
|
|
12
|
</manifest>
|
|
13
|
<selectedElements exportClassFiles="true" exportJavaFiles="false">
|
|
14
|
<javaElement handleIdentifier="=org.eclipse.ui.views.navigator/src"/>
|
|
15
|
</selectedElements>
|
|
16
|
</jardesc>
|