Merge branch 'main' into chore/more-warnings

This commit is contained in:
2026-01-30 12:43:52 +01:00
16 changed files with 67 additions and 25 deletions

View File

@@ -1,8 +1,8 @@
{/*
/*
This program has been developed by students from the bachelor Computer Science at Utrecht
University within the Software Project course.
© Copyright Utrecht University (Department of Information and Computing Sciences)
*/}
*/
.operator-switch {
display: inline-flex;
align-items: center;