Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Swanson2005-02-11 23:10:57 +0000
committerDarin Swanson2005-02-11 23:10:57 +0000
commit66b460391ba22a804885d610a5aaa7e66a8244d8 (patch)
treecaccf20bcbdf38ffe2cb62df7c5ff2054daaeb1d /org.eclipse.ui.externaltools
parent1d4ac3857824614ca4764aa99d07a6ece9ae01c6 (diff)
downloadeclipse.platform.debug-66b460391ba22a804885d610a5aaa7e66a8244d8.tar.gz
eclipse.platform.debug-66b460391ba22a804885d610a5aaa7e66a8244d8.tar.xz
eclipse.platform.debug-66b460391ba22a804885d610a5aaa7e66a8244d8.zip
Bug 85023 - remove empty .options files from build
Diffstat (limited to 'org.eclipse.ui.externaltools')
-rw-r--r--org.eclipse.ui.externaltools/.options1
-rw-r--r--org.eclipse.ui.externaltools/build.properties3
2 files changed, 1 insertions, 3 deletions
diff --git a/org.eclipse.ui.externaltools/.options b/org.eclipse.ui.externaltools/.options
deleted file mode 100644
index d127194c3..000000000
--- a/org.eclipse.ui.externaltools/.options
+++ /dev/null
@@ -1 +0,0 @@
-# Debugging options for the org.eclipse.ui.externaltools plugin.
diff --git a/org.eclipse.ui.externaltools/build.properties b/org.eclipse.ui.externaltools/build.properties
index 6bd0c1eb9..07e25ef77 100644
--- a/org.eclipse.ui.externaltools/build.properties
+++ b/org.eclipse.ui.externaltools/build.properties
@@ -1,5 +1,5 @@
###############################################################################
-# Copyright (c) 2000, 2003 IBM Corporation and others.
+# Copyright (c) 2000, 2005 IBM Corporation and others.
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Common Public License v1.0
# which accompanies this distribution, and is available at
@@ -14,7 +14,6 @@ source.externaltools.jar = External Tools Base/,\
src.includes=about.html
bin.includes = icons/,\
- .options,\
plugin.properties,\
plugin.xml,\
about.html,\

Back to the top