Branches - mmakowski/proquint - Codeberg.org

This website requires JavaScript.

mmakowski/proquint

Fork 0

Code Issues Pull requests Activity

9 commits 1 branch 1 tag 47 KiB

Default branch

master

0fd191b799 · removed CircleCI after migration off github · Updated 2025年09月09日 22:49:47 +02:00

ZIP TAR.GZ

Branches

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?