godot

Author	SHA1	Message	Date
Hugo Locurcio	b6d6863055	Remove unused scripts from the `misc/scripts` directory This also makes `make_icons.sh` executable directly.	2019-12-17 23:22:47 +01:00
Rémi Verschelde	e2acc602f3	Dist: update script to make Steam icon sets	2018-06-03 19:28:07 +02:00
Rémi Verschelde	b87a232668	Reorder the folders in tools to prepare moving tools/editor - `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.	2017-02-09 00:08:27 +01:00