Skip to content

[INFRA] Rename master to main#3230

Merged
eseiler merged 1 commit intoseqan:mainfrom eseiler:infra/rename_to_mainJan 30, 2024

Commits

Commits on Jan 30, 2024