Cosimo Lupo d97331d2f7 update waved flags using latest warp script ... degenerate curves are turned into lines, thus saving more then 20% file size		2021-05-13 16:00:33 +01:00
..
color_emoji	[emoji_builder|png] fix bytes vs str issues in py2.py3	2019-10-21 16:20:48 +01:00
region-flags	update waved flags using latest warp script	2021-05-13 16:00:33 +01:00