diff options
| -rw-r--r-- | org.eclipse.ui.console/.options | 1 | ||||
| -rw-r--r-- | org.eclipse.ui.console/build.properties | 4 |
2 files changed, 4 insertions, 1 deletions
diff --git a/org.eclipse.ui.console/.options b/org.eclipse.ui.console/.options new file mode 100644 index 000000000..d7752adbc --- /dev/null +++ b/org.eclipse.ui.console/.options @@ -0,0 +1 @@ +# Debugging options for the org.eclipse.ui.console plugin. diff --git a/org.eclipse.ui.console/build.properties b/org.eclipse.ui.console/build.properties index 57e46fe7b..d166e5892 100644 --- a/org.eclipse.ui.console/build.properties +++ b/org.eclipse.ui.console/build.properties @@ -8,7 +8,9 @@ # Contributors: # IBM Corporation - initial API and implementation ############################################################################### -bin.includes = plugin.xml,\ +bin.includes = icons/,\ + .options,\ + plugin.xml,\ plugin.properties,\ *.jar,\ about.html |