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

6.8 KiB

150x150px

Raw History