Skip to content

switched parameter order of rascal/edit event to fix #1049#1059

Merged
rodinaarssen merged 5 commits intomainfrom
fix/issue-1049
Apr 16, 2026
Merged

switched parameter order of rascal/edit event to fix #1049#1059
rodinaarssen merged 5 commits intomainfrom
fix/issue-1049

Commits

Commits on Apr 15, 2026