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

1.1 MiB

Raw History

View raw