Skip to content

Reduce logo size and delete obsolete figures#54

Merged
GeraldineGomez merged 3 commits intomainfrom repo-sizeOct 9, 2023

Commits

Commits on Sep 22, 2023

Commits on Oct 9, 2023