Martin e378f8165f Merge remote-tracking branch 'origin/develop' into develop ...

# Conflicts:
#	.idea/libraries/Flutter_Plugins.xml

2023-09-05 22:08:59 +02:00

..

files

Merge remote-tracking branch 'origin/develop' into develop

2023-09-05 22:08:59 +02:00

more

Fixed webuntis bug, added share button

2023-09-03 20:22:05 +02:00

talk

Merge remote-tracking branch 'origin/develop' into develop

2023-09-05 22:08:59 +02:00

timetable

Working push-Notifications for Android

2023-09-03 19:18:30 +02:00