sichtbarerer Hint, um neue Veranstaltungen anzufragen. #14

Merged

johannes merged 1 commit from enhance/add-new-office-hour into main 2023-06-09 08:47:26 +00:00

Conversation 1 Commits 1 Files changed 2 +4 -1

1 commit

Author	SHA1	Message	Date
Johannes	c9bfe0dd27	addOfficeHour: more prominent hint where to request new lectures ... closes #13	2023-06-09 01:31:51 +02:00