Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Oct 14, 2018				Delete branchBranch menu
stable Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
fork-integration Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
1.0-devel Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.11-test Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.11-devel Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.10-devel Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.9-devel Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.8-devel Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.7.1-doc-fixes Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.6-devel Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.5-devel Copy branch name to clipboard	Jul 25, 2025				Delete branchBranch menu
0.13-release Copy branch name to clipboard	Oct 14, 2018				Delete branchBranch menu
0.13-release-patched Copy branch name to clipboard	Jul 11, 2017				Delete branchBranch menu