Lorenzo Cerqua 70af74587a Remove two very slightly displaced duplicate vertices on Gobot's face ... They didn't show up at all in the rendered PNG, but were pretty annoying when working with Gobot face on Inkscape (cherry picked from commit 17b9cb2cdf)		2020-12-29 13:54:08 +01:00
..
ci	CI: Refactor Android workflow, use pre-installed SDK and NDK	2020-10-23 13:27:44 +02:00
dist	Remove two very slightly displaced duplicate vertices on Gobot's face	2020-12-29 13:54:08 +01:00
hooks	Git Hooks: Suppress "which" error messages.	2020-06-10 15:33:27 +02:00
scripts	Added Linux sanitizer with xvfb to github workspace	2020-08-14 12:15:58 +02:00