Remove checkstyle CommentsIndentation (#6219)

This commit is contained in:
Trask Stalnaker 2022-06-27 00:45:55 -07:00 committed by GitHub
parent 65251c4e8a
commit c1c108c870
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions

View File

@ -362,9 +362,10 @@
<!-- modified from "expected" to "ignored" to match Intellij -->
<property name="exceptionVariableName" value="ignored"/>
</module>
<module name="CommentsIndentation">
<!-- using Google Java Format which sometimes conflicts with this indentation rule -->
<!-- module name="CommentsIndentation">
<property name="tokens" value="SINGLE_LINE_COMMENT, BLOCK_COMMENT_BEGIN"/>
</module>
</module -->
<!-- https://checkstyle.org/config_filters.html#SuppressionXpathFilter -->
<module name="SuppressionXpathFilter">
<property name="file" value="${org.checkstyle.google.suppressionxpathfilter.config}"