Skip to content

Update license headers and fix pre-commit#112

Merged
dennismeister93 merged 11 commits intomainfrom fix/license_headersJan 11, 2024

Commits

Commits on Nov 26, 2023

Commits on Dec 7, 2023

Commits on Jan 10, 2024

Commits on Jan 11, 2024