WIP: Draft: Resolve "carolin's branch" #9

Draft
rawalcher wants to merge 0 commits from 4-carolin-s-branch into main
rawalcher commented 2024-01-08 22:38:32 +01:00 (Migrated from git-ainf.aau.at)

Closes #4

Closes #4
rawalcher commented 2024-01-08 22:38:32 +01:00 (Migrated from git-ainf.aau.at)

assigned to @carolinai

assigned to @carolinai
This repository is archived. You cannot comment on pull requests.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: rawalcher/theorethische-informatik-gruppe-10#9
No description provided.