diff options
| author | Wim Jongman | 2018-05-24 16:38:42 +0000 |
|---|---|---|
| committer | Wim Jongman | 2018-05-24 16:40:42 +0000 |
| commit | f7eb96d78f8728628760c1fe5bac7f6de33d7eb4 (patch) | |
| tree | 15dcc3ea5bc57b7854f7d29d0f7d109ac5a18f72 /org.eclipse.tips.json/build.properties | |
| parent | 7dfa43e9de078f3f2d95ef3986b720fd58a1dd56 (diff) | |
| download | eclipse.platform.ua-f7eb96d78f8728628760c1fe5bac7f6de33d7eb4.tar.gz eclipse.platform.ua-f7eb96d78f8728628760c1fe5bac7f6de33d7eb4.tar.xz eclipse.platform.ua-f7eb96d78f8728628760c1fe5bac7f6de33d7eb4.zip | |
Bug 535072 - [Tips] Tips plug-ins are missing legal info (about.html)
Added missing about files and updated build.properties
Change-Id: I98f6e486f9f26a14fad71a8106e7f50bf1cf23fc
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
Diffstat (limited to 'org.eclipse.tips.json/build.properties')
| -rw-r--r-- | org.eclipse.tips.json/build.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.tips.json/build.properties b/org.eclipse.tips.json/build.properties index 9c02061d4..15c1fb3fa 100644 --- a/org.eclipse.tips.json/build.properties +++ b/org.eclipse.tips.json/build.properties @@ -12,4 +12,5 @@ source.. = src/ output.. = bin/ bin.includes = META-INF/,\ .,\ - OSGI-INF/ + OSGI-INF/,\ + about.html |