Marcel Admiraal 95272e11c4 Remove unused variables from full-size.html ... (cherry picked from commit 548edfc4fe)		2021-02-22 10:18:26 +01:00
..
editor.html	[HTML5] Easier HTML templates, better deinit/cleanup.	2021-02-19 05:13:44 +01:00
fixed-size.html	Set the title tag in the HTML5 export immediately	2020-04-27 10:19:33 +02:00
full-size.html	Remove unused variables from full-size.html	2021-02-22 10:18:26 +01:00
logo.svg	Remove two very slightly displaced duplicate vertices on Gobot's face	2020-12-29 13:54:08 +01:00