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. @ 0919ee69ce365d20674e1ff1e2e428b14ffefd22

Rémi Verschelde b97401f304 Update copyright statements to 2020		4 éve
..
SCsub	1b0e2b0c39 Refactoring: rename tools/editor/ to editor/	7 éve
doc_data.cpp	b97401f304 Update copyright statements to 2020	4 éve
doc_data.h	b97401f304 Update copyright statements to 2020	4 éve
doc_dump.cpp	b97401f304 Update copyright statements to 2020	4 éve
doc_dump.h	b97401f304 Update copyright statements to 2020	4 éve