2 commits

Author	SHA1	Message	Date
Rémi Verschelde	1b0e2b0c39	Refactoring: rename tools/editor/ to editor/ ... The other subfolders of tools/ had already been moved to either editor/, misc/ or thirdparty/, so the hiding the editor code that deep was no longer meaningful. (Manual redo of 49c065d29c)	2017-03-18 23:45:45 +01:00
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

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