Skip to content

Implement caseInsensitive option#3399

Merged
parrt merged 5 commits intoantlr:masterfrom
KvanTTT:case-insensitive-option
Dec 25, 2021
Merged

Implement caseInsensitive option#3399
parrt merged 5 commits intoantlr:masterfrom
KvanTTT:case-insensitive-option

Commits