delete a bunch of big, unused images and optimize what's left

2025-02-17 00:17:51 +00:00 · 2024-03-02 19:55:50 -06:00 · 2024-03-02 19:55:50 -06:00 · 779bef00e7
commit 779bef00e7
parent 71c8853494
15 changed files with 0 additions and 0 deletions
--- a/border/textures/pvm.png
+++ b/border/textures/pvm.png
--- a/border/textures/tex00.png
+++ b/border/textures/tex00.png
--- a/border/textures/tex01.png
+++ b/border/textures/tex01.png
--- a/border/textures/tex02.png
+++ b/border/textures/tex02.png
--- a/border/textures/tex04.png
+++ b/border/textures/tex04.png
--- a/border/textures/tex05.png
+++ b/border/textures/tex05.png
--- a/border/textures/tex06.png
+++ b/border/textures/tex06.png
--- a/border/textures/tex07.png
+++ b/border/textures/tex07.png
--- a/border/textures/tex08.png
+++ b/border/textures/tex08.png
--- a/border/textures/tex09.png
+++ b/border/textures/tex09.png
--- a/border/textures/tex10.png
+++ b/border/textures/tex10.png
--- a/border/textures/tex11.png
+++ b/border/textures/tex11.png
--- a/border/textures/tex12.png
+++ b/border/textures/tex12.png
--- a/border/textures/tex14.png
+++ b/border/textures/tex14.png
--- a/border/textures/tex16.png
+++ b/border/textures/tex16.png