Fabio Alessandrelli 2668ca7a8c [HTML5] Make home path persistent in editor. ... We used to only persist specific sub-folder of /home/web_user/ when running the Web Editor. This resulted in bad UX about default project creation path etc. This PR makes the whole folder persistent, move the zip preloading to a different folder (to avoid persisting it), and automatically prompt the user to import it if present.		2021-02-03 17:18:28 +01:00
..
editor.html	[HTML5] Make home path persistent in editor.	2021-02-03 17:18:28 +01:00
fixed-size.html
full-size.html
logo.svg	Remove two very slightly displaced duplicate vertices on Gobot's face	2020-12-29 13:54:08 +01:00