Skip to content

Fix navigation issues when semantic tree is not aligned with syntactic tree#1325

Merged
zorkow merged 2 commits intodevelopfrom
fix/navigation_issues
Aug 4, 2025
Merged

Fix navigation issues when semantic tree is not aligned with syntactic tree#1325
zorkow merged 2 commits intodevelopfrom
fix/navigation_issues

Commits

Commits on Jul 31, 2025

Commits on Aug 4, 2025