[Git][java-team/eclipse-platform-ua][master] 6 commits: New upstream version 4.13

[Jochen Sprickerhof]

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


Commits:
eeb7a659 by Jochen Sprickerhof at 2019-09-15T15:25:27Z
New upstream version 4.13
- - - - -
fb65c2eb by Jochen Sprickerhof at 2019-09-15T15:25:33Z
Update upstream source from tag 'upstream/4.13'

Update to upstream version '4.13'
with Debian dir 73f330597419f07c63c95cc8e1bd2a814858dfb2
- - - - -
16581385 by Jochen Sprickerhof at 2019-09-15T15:35:20Z
Bump policy version (no changes)

- - - - -
a77feb30 by Jochen Sprickerhof at 2019-09-15T15:35:57Z
switch to debhelper-compat and debhelper 12

- - - - -
92eb1b02 by Jochen Sprickerhof at 2019-09-15T15:36:35Z
add Salsa CI

- - - - -
a852eed8 by Jochen Sprickerhof at 2019-09-15T15:37:34Z
Update changelog for 4.13-1 release

- - - - -


30 changed files:

- .gitignore
- debian/changelog
- − debian/compat
- debian/control
- + debian/gitlab-ci.yml
- 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


The diff was not included because it is too large.


View it on GitLab: https://salsa.debian.org/java-team/eclipse-platform-ua/compare/6d7aa7f1fadb5e5a6e012177c659f9baa7866045...a852eed8818a4800ff1346996458aab3ea2b463d

-- 
View it on GitLab: https://salsa.debian.org/java-team/eclipse-platform-ua/compare/6d7aa7f1fadb5e5a6e012177c659f9baa7866045...a852eed8818a4800ff1346996458aab3ea2b463d
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/6d208a55/attachment.html>