Skip to content

Disallow dots in identifiers#1267

Merged
mosteo merged 8 commits intoalire-project:masterfrom 0rzech:disallow-crate-names-with-leading-dotJan 18, 2023

Commits

Commits on Dec 12, 2022

Commits on Dec 13, 2022