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 /org.eclipse.tips.json/.gitignore | |
| 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 'org.eclipse.tips.json/.gitignore')
| -rw-r--r-- | org.eclipse.tips.json/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.tips.json/.gitignore b/org.eclipse.tips.json/.gitignore new file mode 100644 index 000000000..988e9b210 --- /dev/null +++ b/org.eclipse.tips.json/.gitignore @@ -0,0 +1,3 @@ +/target/ +/bin/ +/minimal-json-0.9.5-sources.jar |