Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Aug 4, 2013				Delete branchBranch menu
fork-integration Copy branch name to clipboard	Jul 21, 2025				Delete branchBranch menu
1.0-devel Copy branch name to clipboard	Jul 21, 2025				Delete branchBranch menu
0.10-devel Copy branch name to clipboard	Jul 21, 2025				Delete branchBranch menu
0.9-devel Copy branch name to clipboard	Jul 21, 2025				Delete branchBranch menu
0.8-devel Copy branch name to clipboard	Jul 21, 2025				Delete branchBranch menu
0.7.1-doc-fixes Copy branch name to clipboard	Jul 21, 2025				Delete branchBranch menu
0.6-devel Copy branch name to clipboard	Jul 21, 2025				Delete branchBranch menu
0.5-devel Copy branch name to clipboard	Jul 21, 2025				Delete branchBranch menu
patch-3 Copy branch name to clipboard	Aug 3, 2013				Delete branchBranch menu
patch-2 Copy branch name to clipboard	Aug 2, 2013				Delete branchBranch menu
patch-1 Copy branch name to clipboard	Aug 2, 2013				Delete branchBranch menu