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

..

ci

CI: Refactor Android workflow, use pre-installed SDK and NDK

2020-10-23 13:27:44 +02:00

dist

[HTML5] Make home path persistent in editor.

2021-02-03 17:18:28 +01:00

hooks

Check for clang-format version in the pre-commit hook

2021-01-26 17:00:17 +01:00

scripts

Update copyright statements to 2021

2021-01-13 16:17:06 +01:00