Skip to content

Add license headers via pre-commit hook#410

Merged
greschd merged 3 commits intomainfrom maint/license-headersJan 17, 2024