Fabio Alessandrelli 6bc07cf777 [HTML5] Add logo and favicon to editor html.		2020-12-09 17:54:50 +01:00
..
ci	CI: Refactor Android workflow, use pre-installed SDK and NDK	2020-10-22 17:21:59 +02:00
dist	[HTML5] Add logo and favicon to editor html.	2020-12-09 17:54:50 +01:00
hooks	Git Hooks: Suppress "which" error messages.	2020-04-24 20:11:53 +03:00
scripts	Add line removal around braces to the file formatting script	2020-11-16 23:27:44 -05:00