2 commits

Author	SHA1	Message	Date
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
Fabio Alessandrelli	6936ac9d5d	[HTML5] Add logo and favicon to editor html.	2020-12-09 18:09:30 +01:00