Skip to content

Prepares the removal of the final annotation (Tree@\loc), including its definition and all of its uses. #1974

Open
jurgenvinju wants to merge 23 commits intomainfrom
remove-tree-loc-annotation
Open

Prepares the removal of the final annotation (Tree@\loc), including its definition and all of its uses. #1974
jurgenvinju wants to merge 23 commits intomainfrom
remove-tree-loc-annotation

Commits

Commits on Jun 17, 2024

Commits on Jun 27, 2024

Commits on Apr 10, 2026

Commits on Apr 19, 2026