Skip to content

RedundantTypeAnnotation: add 'ignore_type_interfaces' option#5839

Merged
SimplyDanny merged 3 commits intorealm:mainfrom jaredgrubb:jgrubb-redundant-type-interfacesNov 12, 2024

Commits

Commits on Nov 12, 2024