Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	github-merge-queue Oct 15, 2025				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Sep 28, 2025				Delete branchBranch menu
ehuss-patch-2 Copy branch name to clipboard	Mar 23, 2025				Delete branchBranch menu
ehuss-patch-1 Copy branch name to clipboard	Nov 9, 2024				Delete branchBranch menu
0.4.5-br Copy branch name to clipboard	Jan 4, 2021				Delete branchBranch menu
revert-1173-anchors Copy branch name to clipboard	Mar 24, 2020				Delete branchBranch menu
update-readme Copy branch name to clipboard	Oct 20, 2018				Delete branchBranch menu
version Copy branch name to clipboard	Sep 16, 2018				Delete branchBranch menu
smart-preprocessor Copy branch name to clipboard	Sep 10, 2018				Delete branchBranch menu
fix-travis Copy branch name to clipboard	Apr 6, 2018				Delete branchBranch menu