Branches - coxeter_automaton - Gitea

Explore Help

florian

/

coxeter_automaton

1

0

You've already forked coxeter_automaton

Code Issues Pull Requests Projects Releases Wiki Activity

5 Commits 1 Branch 0 Tags 177 KiB

Default Branch

main

3d81dc667d · add example to documentation · Updated 2023-01-04 21:58:15 +00:00

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?

Create new branch

Create branch from branch:

Branch Name

Rename branch

You are renaming the default branch.