geequlim
31b1a77dbc
Don't push remote object if the same remote object is already in the history
...
Fix error inspector capitalization with regular objects after insepct remote objects
2017-09-05 22:05:11 +08:00
Rémi Verschelde
9d598833d2
Use HTTPS URL for Godot's website in the headers
2017-08-27 14:11:45 +02:00
Rémi Verschelde
e9b045d9e5
Add "Godot Engine contributors" copyright line
2017-04-08 00:45:24 +02:00
Rémi Verschelde
f8db8a3faa
Bring that Whole New World to the Old Continent too
...
Applies the clang-format style to the 2.1 branch as done for master in
5dbf1809c6
2017-03-19 00:36:26 +01:00
Rémi Verschelde
1b0e2b0c39
Refactoring: rename tools/editor/ to editor/
...
The other subfolders of tools/ had already been moved to either
editor/, misc/ or thirdparty/, so the hiding the editor code that
deep was no longer meaningful.
(Manual redo of 49c065d29c
2017-03-18 23:45:45 +01:00
