[Git][java-team/eclipse-platform-ua][upstream] New upstream version 4.13

[Jochen Sprickerhof]

Jochen Sprickerhof pushed to branch upstream at Debian Java Maintainers / eclipse-platform-ua


Commits:
eeb7a659 by Jochen Sprickerhof at 2019-09-15T15:25:27Z
New upstream version 4.13
- - - - -


30 changed files:

- .gitignore
- org.eclipse.help.base/.settings/org.eclipse.jdt.core.prefs
- org.eclipse.help.base/.settings/org.eclipse.jdt.ui.prefs
- org.eclipse.help.base/META-INF/MANIFEST.MF
- org.eclipse.help.base/doc/book.css
- + org.eclipse.help.base/doc/darkTheme.css
- org.eclipse.help.base/pom.xml
- org.eclipse.help.base/src/org/eclipse/help/internal/base/BaseHelpSystem.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/BookmarkManager.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/HelpBasePreferenceInitializer.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/HelpDisplay.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/IHelpBaseConstants.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/MissingContentManager.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/HttpsUtility.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/PreferenceFileHandler.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteContextProvider.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteExtensionProvider.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteIC.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteIndexProvider.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteTocProvider.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/scope/CriteriaHelpScope.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/scope/ScopeRegistry.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/scope/ScopeUtils.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/scope/WorkingSetScope.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/util/CriteriaUtilities.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/util/IndexUtils.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/util/ProxyUtil.java
- org.eclipse.help.base/src/org/eclipse/help/internal/base/util/TString.java
- org.eclipse.help.base/src/org/eclipse/help/internal/browser/CustomBrowser.java
- org.eclipse.help.base/src/org/eclipse/help/internal/browser/MozillaBrowserAdapter.java


The diff was not included because it is too large.


View it on GitLab: https://salsa.debian.org/java-team/eclipse-platform-ua/commit/eeb7a6593dcfcb4eebcd88297de9d25d24816a8e

-- 
View it on GitLab: https://salsa.debian.org/java-team/eclipse-platform-ua/commit/eeb7a6593dcfcb4eebcd88297de9d25d24816a8e
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-java-commits/attachments/20190915/2be14592/attachment.html>