{{ message }}
Fix javadoc of ObjectIndex#372
Open
imagejan wants to merge 1 commit into
Open
Conversation
Member
Sorry, something went wrong.
imagejan
force-pushed
the
fix-objectindex-javadoc
branch
from
8dd3de2 to
b93e14d
Compare
January 4, 2020 17:17
imagejan
force-pushed
the
fix-objectindex-javadoc
branch
from
b93e14d to
6c82c0a
Compare
September 3, 2020 18:38
imagejan
force-pushed
the
fix-objectindex-javadoc
branch
from
6c82c0a to
47bace3
Compare
December 18, 2020 19:09
Remove redundant paragraph.
imagejan
force-pushed
the
fix-objectindex-javadoc
branch
from
47bace3 to
bd70ed0
Compare
January 19, 2021 19:52
ctrueden
force-pushed
the
master
branch
3 times, most recently
from
53b6733 to
3dc99c9
Compare
November 7, 2023 18:37
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.
I love the implicit irony of this (almost) duplicated paragraph, but it is indeed redundant. So let's remove it to be more concise.