Merge pull request #16 from zhudotexe/imgbot

[ImgBot] Optimize images
zhudotexe · Oct 3, 2023 · 7a91dbf · 7a91dbf
2 parents 7c0f10a + f685c0d
commit 7a91dbf
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/_static/penn-logo.jpg b/docs/_static/penn-logo.jpg