Skip to content
Commit 5d9bceb1 authored by vaclav's avatar vaclav
Browse files

Merge branch '633-many-files-in-the-repo-seem-to-have-the-wrong-copyright-header' into 'main' 

Resolve "Many files in the repo seem to have the wrong copyright header"

See merge request !874
parents de1372af e6be733c