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

..

debug_adapter_parser.cpp

…

debug_adapter_parser.h

…

debug_adapter_protocol.cpp

…

debug_adapter_protocol.h

…

debug_adapter_server.cpp

…

debug_adapter_server.h

…

debug_adapter_types.h

…

SCsub

…