mirror of
https://github.com/TeamNewPipe/NewPipe.git
synced 2024-11-24 03:52:36 +01:00
Allow using CHECKSTYLE:OFF comments
This commit is contained in:
parent
0085ca6416
commit
1b485ddb5a
@ -69,6 +69,8 @@
|
||||
<module name="SuppressWarningsFilter" />
|
||||
|
||||
<module name="TreeWalker">
|
||||
<module name="SuppressionCommentFilter"/>
|
||||
|
||||
<!-- Checks for Javadoc comments. -->
|
||||
<!-- See https://checkstyle.org/config_javadoc.html -->
|
||||
<module name="InvalidJavadocPosition"/>
|
||||
|
Loading…
Reference in New Issue
Block a user