Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	May 2, 2025				Delete branchBranch menu
2.4 Copy branch name to clipboard	May 2, 2025				Delete branchBranch menu
2.3 Copy branch name to clipboard	May 2, 2025				Delete branchBranch menu
2.2 Copy branch name to clipboard	May 2, 2025				Delete branchBranch menu
2.1 Copy branch name to clipboard	May 2, 2025				Delete branchBranch menu
2.0 Copy branch name to clipboard	May 2, 2025				Delete branchBranch menu
config_dql Copy branch name to clipboard	Dec 15, 2013				Delete branchBranch menu
voters_wording Copy branch name to clipboard	Dec 14, 2013				Delete branchBranch menu
supported_algorithms Copy branch name to clipboard	Dec 14, 2013				Delete branchBranch menu