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
..
ca-certificates.crt	Reorder the folders in tools to prepare moving tools/editor	2017-03-18 23:29:43 +01:00