Branches - NathanielB/forest - Codeberg.org

This website requires JavaScript.

NathanielB/forest

Fork 0

Code Issues Pull requests Activity

3 commits 1 branch 0 tags 176 KiB

Default branch

main

8777f55e62 · Use agda-forester · Updated 2026年05月22日 22:27:59 +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?