diff options
author | Dani Megert | 2003-08-20 09:02:18 +0000 |
---|---|---|
committer | Dani Megert | 2003-08-20 09:02:18 +0000 |
commit | 95d25534ff9e63bbd568f06b04314db6cab41427 (patch) | |
tree | 9f77c543bf92372f27fb4291303742a5e4c54532 /org.eclipse.ui.workbench.texteditor/build.properties | |
parent | f8090f1c89d7a611ad703625b016852dac14f671 (diff) | |
download | eclipse.platform.text-95d25534ff9e63bbd568f06b04314db6cab41427.tar.gz eclipse.platform.text-95d25534ff9e63bbd568f06b04314db6cab41427.tar.xz eclipse.platform.text-95d25534ff9e63bbd568f06b04314db6cab41427.zip |
Fixed problems with new extended editor (applied Tom's patch)
For details see: 41701
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/build.properties')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/build.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/build.properties b/org.eclipse.ui.workbench.texteditor/build.properties index 83a426555d8..4528ccfa7e0 100644 --- a/org.eclipse.ui.workbench.texteditor/build.properties +++ b/org.eclipse.ui.workbench.texteditor/build.properties @@ -13,4 +13,6 @@ bin.includes = *.jar,\ plugin.properties,\ icons/,\ about.html +src.includes = about.html,\ + schema/ source.texteditor.jar = src/ |