2cb6a723a7 · Merge pull request 'Add OutputWrapper to Feature Set' (#2) from ewbc/java-vorlesung:main into main · Updated 2025-04-25 09:52:14 +00:00
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?