Fix javadoc of ObjectIndex#372

Open

imagejan wants to merge 1 commit intomaster from

Open

Fix javadoc of ObjectIndex #372
imagejan wants to merge 1 commit intomaster from
fix-objectindex-javadoc

Copy link

Member

I love the implicit irony of this (almost) duplicated paragraph, but it is indeed redundant. So let's remove it to be more concise.

@imagejan imagejan force-pushed the fix-objectindex-javadoc branch from 8dd3de2 to b93e14d Compare

@imagejan imagejan force-pushed the fix-objectindex-javadoc branch from b93e14d to 6c82c0a Compare

@imagejan imagejan force-pushed the fix-objectindex-javadoc branch from 6c82c0a to 47bace3 Compare


 Fix javadoc of ObjectIndex

bd70ed0

Remove redundant paragraph.

@imagejan imagejan force-pushed the fix-objectindex-javadoc branch from 47bace3 to bd70ed0 Compare

@ctrueden ctrueden force-pushed the master branch 3 times, most recently from 53b6733 to 3dc99c9 Compare