2024-11-28-90f3a82: #2686: Update outdated naming
·
6 commits
to main
since this release
This PR updates naming to match synlig
.
This PR updates naming to match synlig
.