Branches - MangoMan/oryx - Codeberg.org

This website requires JavaScript.

MangoMan/oryx

Fork 0

Code Issues Pull requests Activity

121 commits 2 branches 0 tags 237 KiB

Default branch

master

9893f39ff7 · Add Romir to the mailmap · Updated 2026年03月30日 01:36:14 +02:00

ZIP TAR.GZ

Branches

sema

b7f5c612a0 · Lots of work on typechecking · Updated 2026年04月07日 00:01:37 +02:00 MangoMan

ZIP TAR.GZ

Delete branch

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?