diff options
author | Wim Jongman | 2019-01-25 09:45:44 +0000 |
---|---|---|
committer | Wim Jongman | 2019-01-25 10:41:38 +0000 |
commit | d5787f4ec2efdaeca98933ffd7c0772af37a8620 (patch) | |
tree | 3fc2c7215dc0a18849a41681a1a8b32f52443a1d /org.eclipse.tips.feature/feature.xml | |
parent | 1b88ad25341b86ef23963cb226cfba56ced0cba3 (diff) | |
download | eclipse.platform.ua-I20190127-1800.tar.gz eclipse.platform.ua-I20190127-1800.tar.xz eclipse.platform.ua-I20190127-1800.zip |
[Bug 543748] [tips] no source for org.eclipse.tips.* is shipped with SDKY20190208-0505Y20190206-2200Y20190205-0115Y20190201-0030Y20190130-2200Y20190130-0010I20190211-1800I20190210-2135I20190210-1800I20190209-1800I20190208-1800I20190207-1800I20190206-1800I20190205-1800I20190204-1800I20190203-1800I20190202-1800I20190201-1800I20190201-0600I20190131-1800I20190131-0130I20190130-1800I20190129-1800I20190128-1800I20190127-1800I20190126-1800I20190125-1800
Added about.html to build.poperties
Change-Id: I57b4c476f2330927724c309765cd059d305c80ba
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
Diffstat (limited to 'org.eclipse.tips.feature/feature.xml')
-rw-r--r-- | org.eclipse.tips.feature/feature.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.tips.feature/feature.xml b/org.eclipse.tips.feature/feature.xml index 37e212379..225d980c9 100644 --- a/org.eclipse.tips.feature/feature.xml +++ b/org.eclipse.tips.feature/feature.xml @@ -15,7 +15,7 @@ <feature id="org.eclipse.tips.feature" label="%featureName" - version="0.2.300.qualifier" + version="0.2.400.qualifier" provider-name="%providerName" license-feature="org.eclipse.license" license-feature-version="0.0.0"> |