mirror of
https://github.com/godotengine/godot.git
synced 2024-11-28 07:02:56 +00:00
b87a232668
- `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.
6 lines
101 B
Python
6 lines
101 B
Python
#!/usr/bin/env python
|
|
|
|
Import('env')
|
|
Export('env')
|
|
env.add_source_files(env.editor_sources, "*.cpp")
|