Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Javadoc markup fixes #14971
Fixed the many markup-related errors (character escaping,
Note to reviewers - you can auto-expand files changed by using this script in your browser: #14337 (comment)
1 similar comment
Fixed the HTML-related errors (character escaping, invalid markup, etc.). Most of the javadoc issues like missing javadoc, broken references, etc. still present.