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