commit | 4e564364dff323a8f68ec457e1cd5eb8af8c24a0 | [log] [tgz] |
---|---|---|
author | Alexander Kurtakov <akurtako@redhat.com> | Fri Mar 11 07:35:13 2022 +0200 |
committer | Alexander Kurtakov <akurtako@redhat.com> | Fri Mar 11 00:42:37 2022 -0500 |
tree | 7017e213a4d40a945a074bb564997cf3a3b5f596 | |
parent | 3740a3daef7f53fc174b557fee6ce2c4d48055cd [diff] |
Bug 578786 - Remove BookmarkNavigator and related API Remove javadoc Change-Id: I5975975c9e2225af23ed3ab168cd29c90531824c Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/191757 Tested-by: Alexander Kurtakov <akurtako@redhat.com> Reviewed-by: Alexander Kurtakov <akurtako@redhat.com>