Branches - category-theory-for-programmers - Maxwell git server

Explore Help

Register Sign In

rnhmjoj/category-theory-for-programmers

1

0

You've already forked category-theory-for-programmers

Code Issues 1 Pull Requests Releases Wiki Activity

16 Commits 1 Branch 4 Tags 24 MiB

Default Branch

gh-pages

838ed1d70b · add link to latest release · Updated 2017-09-20 14:27:55 +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?

Create new branch

Create branch from branch:

Branch Name

Rename branch

You are renaming the default branch.

Gitea 1.22.6

API