Skip to content

[IJ Plugin] Don't report redefinitions of built-in types as errors#5131

Merged
BoD merged 1 commit intomainfrom
ij-plugin-suppress-builtin-redefinition-errors
Jul 27, 2023
Merged

[IJ Plugin] Don't report redefinitions of built-in types as errors#5131
BoD merged 1 commit intomainfrom
ij-plugin-suppress-builtin-redefinition-errors

Commits

Commits on Jul 26, 2023