I'm a PhD Student from University of Bordeaux working on documentation copy-pastes (duplicates).
I've noticed that your project does have a few documentation duplicates.
For my research work, i've fixed this simple duplicate and i'd love to have your feedback about it:
Do you think that this duplicate documentation should co-evolve forever?
Are you aware of copy-pastes in your documentation?
If yes, how do you handle them?
Were you aware of JavaDoc reuse features such as {@inheritDoc}?
Would you like to have a tool that helps you maintain duplicate documentation?
I'm a PhD Student from University of Bordeaux working on documentation copy-pastes (duplicates). I've noticed that your project does have a few documentation duplicates. For my research work, i've fixed this simple duplicate and i'd love to have your feedback about it: