diff options
author | nick | 2001-10-04 16:14:43 +0000 |
---|---|---|
committer | nick | 2001-10-04 16:14:43 +0000 |
commit | 9ab56f9d35fbcac902410b99244d693030ad7ec2 (patch) | |
tree | b98c4f4e6336a156e01c5b053bae937ca81f1d5e | |
parent | 39ecd905fef4e3fa740656e3b85fc19faa377d9c (diff) | |
download | eclipse.platform.text-9ab56f9d35fbcac902410b99244d693030ad7ec2.tar.gz eclipse.platform.text-9ab56f9d35fbcac902410b99244d693030ad7ec2.tar.xz eclipse.platform.text-9ab56f9d35fbcac902410b99244d693030ad7ec2.zip |
-rw-r--r-- | org.eclipse.ui.examples.javaeditor/build.properties | 20 | ||||
-rw-r--r-- | org.eclipse.ui.examples.javaeditor/plugin.jars | 1 |
2 files changed, 8 insertions, 13 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/build.properties b/org.eclipse.ui.examples.javaeditor/build.properties index a8296583200..38bfd05eb01 100644 --- a/org.eclipse.ui.examples.javaeditor/build.properties +++ b/org.eclipse.ui.examples.javaeditor/build.properties @@ -1,12 +1,8 @@ -bin.includes = plugin.xml,\
- plugin.properties,\
- icons/,\
- *.jar
-build.includes = build.properties,\
- plugin.jars,\
- plugin.xml,\
- plugin.properties,\
- icons/,\
- doc-html/
-source.javaeditorexample.jar = Eclipse Java Editor Example
-build.vaj.Eclipse\ Java\ Editor\ Example = Eclipse Java Editor Example
+source.javaeditorexample.jar = Eclipse Java Editor Example/
+
+bin.includes = doc-html/,\
+ icons/,\
+ .options,\
+ plugin.properties,\
+ plugin.xml,\
+ *.jar
diff --git a/org.eclipse.ui.examples.javaeditor/plugin.jars b/org.eclipse.ui.examples.javaeditor/plugin.jars deleted file mode 100644 index e087ed6e336..00000000000 --- a/org.eclipse.ui.examples.javaeditor/plugin.jars +++ /dev/null @@ -1 +0,0 @@ -javaeditorexample.jar=Eclipse Java Editor Example
\ No newline at end of file |