Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
fix: improper indentation for javadoc #1434
A bug was found in identifying javadocs where certain type of javadocs were missed from validation. The change produced new violations in Orekit as seen below:
You can either accept this PR and not have an issue when you upgrade CS with this fix in the future,
Feel free to ask any questions.
@@ Coverage Diff @@ ## master #1434 +/- ## ========================================= Coverage 68.74% 68.74% Complexity 3902 3902 ========================================= Files 179 179 Lines 16414 16414 Branches 2672 2672 ========================================= Hits 11284 11284 Misses 3882 3882 Partials 1248 1248