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

..

doc_classes

…

gdextension_build

…

icu_data

…

.gitignore

…

config.py

…

register_types.cpp

…

register_types.h

…

script_iterator.cpp

…

script_iterator.h

…

SCsub

[Web] Rename JavaScript platform to Web.

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

text_server_adv.cpp

…

text_server_adv.h

…