elena 20b52553ad Revert "new feature: display user name on user menu header" ... This reverts commit 006add66c4.		2023-06-07 15:10:53 +02:00
..
docker	Revert "new feature: display user name on user menu header"	2023-06-07 15:10:53 +02:00
.gitignore	DD education workspace	2022-07-10 12:15:47 +02:00
.gitmodules	DD education workspace	2022-07-10 12:15:47 +02:00