summaryrefslogtreecommitdiff
path: root/misc/dist/docker/scripts
AgeCommit message (Collapse)Author
2020-02-05Drop obsolete Dockerfile, we now have official build containersRémi Verschelde
Cf. https://github.com/godotengine/build-containers A user-friendly tool using those containers will soon be released and documented.
2017-02-09Reorder the folders in tools to prepare moving tools/editorRémi Verschelde
- `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.