diff options
| author | Wim Jongman | 2018-03-01 15:12:39 +0000 |
|---|---|---|
| committer | Wim Jongman | 2018-03-05 13:54:27 +0000 |
| commit | f25308346936ce81c106c66ef764d11fa8a39d35 (patch) | |
| tree | 6e750e5e3eac830a732cf549c8aa322e3daa0485 /pom.xml | |
| parent | 127308c8fb9aa359f0aab9672a0987b56b23ed32 (diff) | |
| download | eclipse.platform.ua-f25308346936ce81c106c66ef764d11fa8a39d35.tar.gz eclipse.platform.ua-f25308346936ce81c106c66ef764d11fa8a39d35.tar.xz eclipse.platform.ua-f25308346936ce81c106c66ef764d11fa8a39d35.zip | |
Bug 531786 - [Tips] Add Json providerI20180305-2000
Adds a Json provider that can loads tips from a remote or local Json
file.
Added about.html
Change-Id: I06c67c42bc0a7fc38af06f622af82305b7cbb169
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -50,7 +50,7 @@ </repositories> </profile> </profiles> - + <modules> <module>org.eclipse.help</module> <module>org.eclipse.help.base</module> @@ -65,9 +65,11 @@ <module>org.eclipse.ui.intro.quicklinks</module> <module>org.eclipse.ui.intro.quicklinks.examples</module> <module>org.eclipse.ui.intro.solstice.examples</module> + <module>org.eclipse.tips.core</module> <module>org.eclipse.tips.ui</module> <module>org.eclipse.tips.ide</module> + <module>org.eclipse.tips.json</module> </modules> </project> |