Hugo Locurcio 663466b882 Make links on the HTML5 editor more readable ...

This also tweaks the focus style to apply to all elements for
better keyboard navigation.

2021-01-07 18:46:26 +01:00

..

ci

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

2020-10-22 17:21:59 +02:00

dist

Make links on the HTML5 editor more readable

2021-01-07 18:46:26 +01:00

hooks

Git Hooks: Suppress "which" error messages.

2020-04-24 20:11:53 +03:00

scripts

Update copyright statements to 2021

2021-01-01 20:19:21 +01:00