Fabio Alessandrelli d20b32186f [Web] Rename JavaScript platform to Web. ...

Also rename export name from "HTML5" to "Web".

2022-08-29 11:52:00 +02:00

..

actions

CI: Bump various GitHub actions to latest versions

2022-08-25 13:44:22 +02:00

ISSUE_TEMPLATE

…

workflows

[Web] Rename JavaScript platform to Web.

2022-08-29 11:52:00 +02:00

CODEOWNERS

Rename OSX to macOS and iPhoneOS to iOS.

2022-07-21 09:37:52 +03:00

PULL_REQUEST_TEMPLATE.md

…