Skip to content

Potental fix for numeric literal colorization#603

Merged
chrisdp merged 6 commits intomasterfrom 547-decimal-number-without-leading-digit-is-incorrectly-coloredNov 14, 2024