summaryrefslogtreecommitdiff
path: root/misc/scripts
AgeCommit message (Collapse)Author
2019-10-02Remove obsolete `sort_demos.sh` scriptHugo Locurcio
The Project Manager now sorts projects by name by default, making this script redundant.
2019-09-24Fix copyright headers and style issuesRémi Verschelde
2019-06-17Add script to fix style issues and copyright headersRémi Verschelde
This is only meant to check the validity of the whole codebase every now and then, or to apply clang-format config changes when relevant.
2019-06-11Add missing license headersRémi Verschelde
Make `fix_headers.py` script compatible with Python 3.
2019-01-01Update copyright statements to 2019Rémi Verschelde
Happy new year to the wonderful Godot community!
2019-01-01Fix missing/malformed license headersRémi Verschelde
2018-06-03Dist: update script to make Steam icon setsRémi Verschelde
2018-03-11Properly closing all files in Python codeViktor Ferenczi
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.