diff options
Diffstat (limited to 'jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties')
| -rw-r--r-- | jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties b/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties deleted file mode 100644 index 64f61190a1..0000000000 --- a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.doc.user/build.properties +++ /dev/null @@ -1,9 +0,0 @@ -bin.includes = .,\ - META-INF/,\ - img/,\ - about.html,\ - plugin.properties,\ - plugin.xml,\ - html/,\ - *.xml -generateSourceBundle=false |