elena ff78c2f489 Revert "new feature: display user name on user menu header" ... This reverts commit 006add66c4.		2023-04-12 09:36:04 +00:00
..
docker	Revert "new feature: display user name on user menu header"	2023-04-12 09:36:04 +00: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