diff options
| author | Darin Swanson | 2003-09-18 19:06:20 +0000 |
|---|---|---|
| committer | Darin Swanson | 2003-09-18 19:06:20 +0000 |
| commit | 273ab0a21e1aa3665edc4ab7bcdf95ce1c8b2cd1 (patch) | |
| tree | d14337211e979ca40333dc077bfe38e8f3700fa3 /org.eclipse.ui.console | |
| parent | a8fe495ec3a8142fd33f88dfa1689ff31afa8cd0 (diff) | |
| download | eclipse.platform.debug-273ab0a21e1aa3665edc4ab7bcdf95ce1c8b2cd1.tar.gz eclipse.platform.debug-273ab0a21e1aa3665edc4ab7bcdf95ce1c8b2cd1.tar.xz eclipse.platform.debug-273ab0a21e1aa3665edc4ab7bcdf95ce1c8b2cd1.zip | |
Bug 37263 - Support for generic console
Diffstat (limited to 'org.eclipse.ui.console')
| -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 |