Export-ignore github and editor config; remove leftover excludes#442
Merged
ondrejmirtes merged 1 commit intophpstan:2.0.xfrom May 13, 2025
Merged
Export-ignore github and editor config; remove leftover excludes#442ondrejmirtes merged 1 commit intophpstan:2.0.xfrom
ondrejmirtes merged 1 commit intophpstan:2.0.xfrom