2 commits

Author	SHA1	Message	Date
Daniel J. Ramirez	f045efe007	Add new editor and default theme (WIP)	2017-04-27 08:04:57 +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

Renamed from tools/scripts/svgs_2_pngs.py (Browse further)