Rodolfo Carvalho a1586280a9 ⚡ Compress PNG images using zopflipng ...

Add a helper script and compress existing PNG images with zopflipng.

Before
552K    total

After
428K    total

Signed-off-by: Rodolfo Carvalho

2022-02-09 15:11:46 +01:00

..

build

📎 Port from develop fixes to frontend build script.

2021-11-04 11:00:22 +01:00

compress-png

⚡ Compress PNG images using zopflipng

2022-02-09 15:11:46 +01:00

jvm-repl

🎉 Add jvm-repl script to frontend directory.

2022-01-14 10:54:57 +01:00

validate-translations.js

📎 Minor improvements to translations scripts.

2021-04-14 15:43:17 +02:00