diff options
| author | Wim Jongman | 2018-04-30 20:23:58 +0000 |
|---|---|---|
| committer | Wim Jongman | 2018-04-30 20:29:23 +0000 |
| commit | 15c4f96e881d6023a5cc4ee90e0b9b747ebc4fd6 (patch) | |
| tree | f90291b329d1207a237a882dc5b42d09865823c7 | |
| parent | 7571f6fc8d4fd47cf1ed32fa078630ba8e2ed92d (diff) | |
| download | eclipse.platform.ua-15c4f96e881d6023a5cc4ee90e0b9b747ebc4fd6.tar.gz eclipse.platform.ua-15c4f96e881d6023a5cc4ee90e0b9b747ebc4fd6.tar.xz eclipse.platform.ua-15c4f96e881d6023a5cc4ee90e0b9b747ebc4fd6.zip | |
Bug 534158 - Include tips feature in buildI20180430-2000
* Removed unknown files from build.properties
Change-Id: I6e6d004b2362542b7fc3c01a07f12ad6a57a993d
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
| -rw-r--r-- | org.eclipse.tips.feature/build.properties | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/org.eclipse.tips.feature/build.properties b/org.eclipse.tips.feature/build.properties index 96dd6d0f0..8bdee28df 100644 --- a/org.eclipse.tips.feature/build.properties +++ b/org.eclipse.tips.feature/build.properties @@ -9,6 +9,5 @@ # wim.jongman@remainsoftware.com - initial API and implementation ############################################################################### bin.includes = feature.xml,\ - epl-v10.html,\ - feature.properties,\ - license.html + feature.properties +
\ No newline at end of file |