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