-
Notifications
You must be signed in to change notification settings - Fork 820
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Documentation Updates #1213
Documentation Updates #1213
Conversation
- Fix broken link to CI status badge - Update dependency descriptions - Update links to wiki pages - Update links to licenses
This is a bit of a tangent: I think that the |
Regarding the question of adding the license headers to the -info.java files, yes, that would be a good as a separate PR. If you do that, be sure to remove the exclusions in etc/jgrapht_checks.xml and etc/checkstyle_suppressions.xml. Another tangent from there, it appears that jgrapht-unimi-dsi is missing from the list of updateOneModule calls in etc/updateCopyRightYear.sh. Also in etc/codeFormatter.sh. |
See #1215. |
Thanks! |
This PR updates documentation, including:
module-info.java
I added unit tests(not applicable)HISTORY.md
orCONTRIBUTORS.md