godotengine/godot: Official EU-hosted mirror of the Godot Engine GitHub repository, provided as backup and for anyone who cannot access GitHub due to US trade restrictions. Please only use the issue tracker if you are restricted from using GitHub. @ 9aed9eca40127bcf21ecd71d25fe8809f345d9e3

spiegel van https://github.com/godotengine/godot/

Fabio Alessandrelli d20b32186f [Web] Rename JavaScript platform to Web.		2 jaren geleden
..
publish.js	d20b32186f [Web] Rename JavaScript platform to Web.	2 jaren geleden