fix deploy script #7

Merged
schallbert merged 1 commits from personalauswahlalgorithmen into main 2024-11-04 19:46:56 +00:00
Owner
No description provided.
schallbert added 1 commit 2024-11-04 19:46:43 +00:00
schallbert merged commit e791ce1428 into main 2024-11-04 19:46:56 +00:00
Sign in to join this conversation.
No Reviewers
No Label
No Milestone
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: schallbert/lectures#7
No description provided.