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

..

classes

[Web] Rename JavaScript platform to Web.

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

tools

Make cross-link generation more reliable in RST documentation

2022-08-26 19:13:41 +03:00

translations

…

class.xsd

…

Doxyfile

…

Makefile

[Web] Rename JavaScript platform to Web.

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