Skip to content

Update copyright checker and switch to pylint-3#1439

Merged
pavoljuhas merged 6 commits intomainfrom u/juhas/update-pylint-copyright-checkerOct 7, 2024

Commits

Commits on Oct 5, 2024

Commits on Oct 7, 2024