Programming exercises: Fix an issue with special characters in task names#9037
Merged
krusche merged 7 commits intodevelopfrom bugfix/programming-exercises/fix-preview-task-highlightingJul 16, 2024
+2-1
