summaryrefslogtreecommitdiff
path: root/misc/scripts
AgeCommit message (Collapse)Author
2018-01-05Improve script to add/fix copyright headersRémi Verschelde
- The header now always ends with exactly one empty line - Comments after the header are no longer removed - Improved readability with clearer file names and comments
2018-01-01Update copyright statements to 2018Rémi Verschelde
Happy new year to the wonderful Godot community!
2017-08-30removed misc/scripts/svgs_2_pngs.pytoger5
- deprecated because icon conversion now happens in godot itself
2017-08-27Use HTTPS URL for Godot's website in the headersRémi Verschelde
2017-08-07Makes all Godot API's methods Lower CaseIndah Sylvia
2017-07-12Added some missing icons, fixed some ui iconsDaniel J. Ramirez
2017-05-03Revert "Add new editor and default theme (WIP)"volzhs
This reverts commit f045efe007cffb87238ee519b7f33d710814ded7.
2017-05-01Rename project file to "project.godot"Rémi Verschelde
Slimmed down variant from the reverted #8375. The rationale behind the name change is to give Godot's project file a unique extension (".godot") that can be registered on the OS to be associated with the Godot binary (OS registration not implemented here). This PR also adds the possibility to start the game or editor if launched with the project.godot passed as argument, which paves the way for allowing a similar behaviour on a double-click in the OS file manager (code originally by @Hinsbart). Closes #6915.
2017-04-27Add new editor and default theme (WIP)Daniel J. Ramirez
2017-04-08Add "Godot Engine contributors" copyright lineRémi Verschelde
2017-02-09Reorder the folders in tools to prepare moving tools/editorRémi Verschelde
- `certs` and `editor_fonts` go to `thirdparty` - `dist` and `scripts` go to a new `misc` folder - `collada` and `doc` go to `tools/editor` The next step will be to rename `tools/editor` to `editor` directly, but this will be done at the right time to avoid breaking too many PRs.