Fabio Alessandrelli 6936ac9d5d [HTML5] Add logo and favicon to editor html.

2020-12-09 18:09:30 +01:00

..

ci

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

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

dist

[HTML5] Add logo and favicon to editor html.

2020-12-09 18:09:30 +01:00

hooks

Git Hooks: Suppress "which" error messages.

2020-06-10 15:33:27 +02:00

scripts

Added Linux sanitizer with xvfb to github workspace

2020-08-14 12:15:58 +02:00