Skip to content

Avoid duplicate lexer if already registered#834

Merged
alecthomas merged 1 commit intoalecthomas:masterfrom gandarez:feature/register-lexerAug 24, 2023

Commits

Commits on Aug 24, 2023