3 commits

Author	SHA1	Message	Date
Rémi Verschelde	6e5246e312	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. (cherry picked from commit b87a232668)	2017-03-18 23:29:43 +01:00
Rémi Verschelde	d8223ffa75	Welcome in 2017, dear changelog reader! ... That year should bring the long-awaited OpenGL ES 3.0 compatible renderer with state-of-the-art rendering techniques tuned to work as low as middle end handheld devices - without compromising with the possibilities given for higher end desktop games of course. Great times ahead for the Godot community and the gamers that will play our games! (cherry picked from commit c7bc44d5ad)	2017-01-12 19:15:30 +01:00
Rémi Verschelde	bfcfb58efc	Merge tools/docdump in tools/doc ... Reduces clutter in the tools folder. (cherry picked from commit 6a4ba76836)	2016-09-18 23:05:07 +02:00

Renamed from tools/docdump/doc_dump.cpp (Browse further)