1 Commits (bb331d85b8a2200207e36a7a41b2cb0c88b438a2)

Author	SHA1	Message	Date
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 +07:00