diff options
Diffstat (limited to 'features/org.eclipse.jst.server_userdoc.feature/build.properties')
| -rw-r--r-- | features/org.eclipse.jst.server_userdoc.feature/build.properties | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/features/org.eclipse.jst.server_userdoc.feature/build.properties b/features/org.eclipse.jst.server_userdoc.feature/build.properties deleted file mode 100644 index 7f47694aa..000000000 --- a/features/org.eclipse.jst.server_userdoc.feature/build.properties +++ /dev/null @@ -1,5 +0,0 @@ -bin.includes = feature.xml,\ - eclipse_update_120.jpg,\ - epl-v10.html,\ - license.html,\ - feature.properties |