Skip to content

Preventing ADT plugin crash when it finds unknown AST extensions#800

Merged
marcoeilers merged 1 commit into
masterfrom
meilers_adt_allow_other_extensions
Jun 11, 2024
Merged

Preventing ADT plugin crash when it finds unknown AST extensions#800
marcoeilers merged 1 commit into
masterfrom
meilers_adt_allow_other_extensions

Commits

Commits on Jun 11, 2024