diff options
| author | sarsenau | 2002-05-10 23:25:15 +0000 |
|---|---|---|
| committer | sarsenau | 2002-05-10 23:25:15 +0000 |
| commit | 3160ed0e1218aaa5b73da33130bbd9d4757730f7 (patch) | |
| tree | 98fd12bce57bb69a00e026b3b07c3c0fc5113ed9 /org.eclipse.ui.externaltools/build.properties | |
| parent | 982bfa5f22446782107d7f99e9fa4d689f33bef4 (diff) | |
| download | eclipse.platform.debug-3160ed0e1218aaa5b73da33130bbd9d4757730f7.tar.gz eclipse.platform.debug-3160ed0e1218aaa5b73da33130bbd9d4757730f7.tar.xz eclipse.platform.debug-3160ed0e1218aaa5b73da33130bbd9d4757730f7.zip | |
Initial port to External Tools plug-in
Diffstat (limited to 'org.eclipse.ui.externaltools/build.properties')
| -rw-r--r-- | org.eclipse.ui.externaltools/build.properties | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/build.properties b/org.eclipse.ui.externaltools/build.properties new file mode 100644 index 000000000..14c775561 --- /dev/null +++ b/org.eclipse.ui.externaltools/build.properties @@ -0,0 +1,9 @@ +source.externaltools.jar = External Tools/ + +bin.includes = icons/,\ + .options,\ + plugin.properties,\ + plugin.xml,\ + about.html,\ + *.jar + |