Emil Ernerfeldt d0876a1a60 Rename master branch to main (#7034) ...

For consistency with other repositories, i.e. so I can write `git
checkout main` without worrying which repo I'm browsing.

2025-05-08 09:15:42 +02:00

1.7 KiB

Raw Blame History

View Raw