Skip to content

Improve button labels to reflect actual actions#2860

Merged
meisterT merged 1 commit intoDOMjudge:mainfrom tuupke:mainNov 25, 2024