Merge 712d33e153bdaeb9badca63ec4e258f05cdb0fb1 into ca98c98457b1163cca1f7d8db62827c115fec6d1

This commit is contained in:
bmagistro 2025-07-25 16:37:54 -04:00 committed by GitHub
commit 81f1986fad
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -2,7 +2,6 @@
Checks: 'google-readability-casting,modernize-deprecated-headers,modernize-loop-convert,modernize-use-auto,modernize-use-default-member-init,modernize-use-using,readability-else-after-return,readability-redundant-member-init,readability-redundant-string-cstr'
WarningsAsErrors: ''
HeaderFilterRegex: ''
AnalyzeTemporaryDtors: false
FormatStyle: none
CheckOptions:
- key: modernize-use-using.IgnoreMacros