Optimize images (#464)

Recompress losslessly using `optipng` and `advpng`
2025-06-28 13:56:02 +02:00 · 2019-06-27 21:33:11 +02:00
parent b0158f5674
commit 8baa789eb1
253 changed files with 0 additions and 0 deletions
--- a/mesecons_gates/textures/jeija_gate_and.png
+++ b/mesecons_gates/textures/jeija_gate_and.png
--- a/mesecons_gates/textures/jeija_gate_diode.png
+++ b/mesecons_gates/textures/jeija_gate_diode.png
--- a/mesecons_gates/textures/jeija_gate_nand.png
+++ b/mesecons_gates/textures/jeija_gate_nand.png
--- a/mesecons_gates/textures/jeija_gate_nor.png
+++ b/mesecons_gates/textures/jeija_gate_nor.png
--- a/mesecons_gates/textures/jeija_gate_not.png
+++ b/mesecons_gates/textures/jeija_gate_not.png
--- a/mesecons_gates/textures/jeija_gate_off.png
+++ b/mesecons_gates/textures/jeija_gate_off.png
--- a/mesecons_gates/textures/jeija_gate_on.png
+++ b/mesecons_gates/textures/jeija_gate_on.png
--- a/mesecons_gates/textures/jeija_gate_or.png
+++ b/mesecons_gates/textures/jeija_gate_or.png
--- a/mesecons_gates/textures/jeija_gate_xor.png
+++ b/mesecons_gates/textures/jeija_gate_xor.png