diff options
Diffstat (limited to 'docs/org.eclipse.wst.dtd.ui.infopop/build.properties')
| -rw-r--r-- | docs/org.eclipse.wst.dtd.ui.infopop/build.properties | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/org.eclipse.wst.dtd.ui.infopop/build.properties b/docs/org.eclipse.wst.dtd.ui.infopop/build.properties deleted file mode 100644 index 7e8b37aa98..0000000000 --- a/docs/org.eclipse.wst.dtd.ui.infopop/build.properties +++ /dev/null @@ -1,7 +0,0 @@ -bin.includes = plugin.xml,\ - plugin.properties,\ - about.html,\ - EditorDtdContexts.xml,\ - META-INF/,\ - EditorDtdContexts2.xml -generateSourceBundle=false |