Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
stable Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
master-deprecated Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
fork-integration Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
1.0-devel Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.12-release Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.12-devel Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.11-test Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.11-devel Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.10-devel Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.9-devel Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.8-devel Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.7.1-doc-fixes Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.6-devel Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.5-devel Copy branch name to clipboard	Oct 23, 2024				Delete branchBranch menu
0.13-release Copy branch name to clipboard	Jun 11, 2018				Delete branchBranch menu