diff options
| author | Wim Jongman | 2018-04-28 09:54:37 +0000 |
|---|---|---|
| committer | Wim Jongman | 2018-04-28 09:54:37 +0000 |
| commit | c7db7152c8d970785efa1381691b3eef23ebce71 (patch) | |
| tree | 0f310dbeb3c2a47985882407ea642ee1dd5c6c9c | |
| parent | fb345a81200f2cb7021cdb0d44c1d36d17de3e4b (diff) | |
| download | eclipse.platform.common-c7db7152c8d970785efa1381691b3eef23ebce71.tar.gz eclipse.platform.common-c7db7152c8d970785efa1381691b3eef23ebce71.tar.xz eclipse.platform.common-c7db7152c8d970785efa1381691b3eef23ebce71.zip | |
Bug 534073: [Tips] Create JSon based Tip Provider for Platform
[Tips] Create JSon based Tip Provider for Platform
Change-Id: I7bc1a1835a7eecadfaa9ef0421c239e56636c67c
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
| -rw-r--r-- | tips/index.json | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/tips/index.json b/tips/index.json index 1b667c68e..cd4bc86c2 100644 --- a/tips/index.json +++ b/tips/index.json @@ -1,24 +1,23 @@ { "provider": [{ "require-bundle": "org.eclipse.jdt.ui", - "version": "1.0.0", - "location": "org.eclipse.jdt.ui/provider.json" + "location": "org.eclipse.jdt.ui/provider.json", + "version": "1.0.0" }, { "require-bundle": "org.eclipse.pde.ui", - "version": "1.0.0", - "location": "org.eclipse.pde.ui/provider.json" + "location": "org.eclipse.pde.ui/provider.json", + "version": "1.0.0" }, { "require-bundle": "org.eclipse.ui.ide.application", - "version": "1.0.0", - "location": "org.eclipse.ui.ide.application/provider.json" + "location": "org.eclipse.ui.ide.application/provider.json", + "version": "1.0.0" }, { - "require-bundle": "org.eclipse.ui.ide.application", - "version": "1.0.0", - "location": "photon/provider.json" + "require-bundle": "org.eclipse.platform.doc.user", + "location": "photon/provider.json", + "version": "1.0.0" } - ] }
\ No newline at end of file |