Feat/105 add fold command on server side #269

Merged
jona.walpert merged 2 commits from feat/105-add-fold-command-on-server-side into main 2026-04-12 01:21:06 +02:00
jona.walpert commented 2026-04-12 01:19:21 +02:00 (Migrated from git.scicore.unibas.ch)

Added fold command on server side

Closes #105

Added fold command on server side Closes #105
jona.walpert (Migrated from git.scicore.unibas.ch) scheduled this pull request to auto merge when all checks succeed 2026-04-12 01:19:25 +02:00
jona.walpert (Migrated from git.scicore.unibas.ch) merged commit 1669e07d3a into main 2026-04-12 01:21:06 +02:00
jona.walpert commented 2026-04-12 01:21:07 +02:00 (Migrated from git.scicore.unibas.ch)

mentioned in commit 1669e07d3a

mentioned in commit 1669e07d3ab989f8e04069927f8b648c61358857
This repo is archived. You cannot comment on pull requests.
No Reviewers
1 Participants
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: University-of-Basel-Studentprojects/Programmierprojekt#269