diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-09 00:07:44 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-09 00:08:27 +0100 |
| commit | b87a232668d9f9f3b32c2fceb60bc5f6ef46df22 (patch) | |
| tree | 40bf3a8b94fbca24f9bf144e4ac9eee7f3c011d0 /servers | |
| parent | b19c9bd1983b8c72621595b7c22daade4ebf6625 (diff) | |
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.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions