Marcel AdmiraalandRémi Verschelde 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