[ty] Allow including files with no extension #22243
[ty] Include files with no extension
85e6f028
MichaReiser
changed the title [ty] Include files with no extension [ty] Allow including files with no extension 40 days ago
Clippy
7833bfa6
MichaReiser
force pushed
from
7a40fc57
to
7833bfa6
40 days ago
Gankra
approved these changes
on 2026-01-05
Gankra
commented
on 2026-01-05
MichaReiser
deleted the micha/include-files-without-extension branch 31 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub