diff options
| author | Rémi Verschelde | 2016-10-16 11:52:09 +0200 |
|---|---|---|
| committer | GitHub | 2016-10-16 11:52:09 +0200 |
| commit | 89132224a651c0e0d4121270f63decb9a678ff88 (patch) | |
| tree | 224a008705391b6e5b560d2c0426380651756383 /platform/server/detect.py | |
| parent | eb8d19ba740c11acf0f26080405fc5cd827a2d41 (diff) | |
| parent | e57042e8a93e4f3d65cc91633f5af0daedf69a2a (diff) | |
| download | godot-89132224a651c0e0d4121270f63decb9a678ff88.tar.gz godot-89132224a651c0e0d4121270f63decb9a678ff88.tar.zst godot-89132224a651c0e0d4121270f63decb9a678ff88.zip | |
Merge pull request #6830 from akien-mga/thirdparty
Move most "drivers" as toggleable "modules" and split their thirdparty libraries in an own tree
Diffstat (limited to 'platform/server/detect.py')
| -rw-r--r-- | platform/server/detect.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/platform/server/detect.py b/platform/server/detect.py index e6fab2043..2f6fb00e0 100644 --- a/platform/server/detect.py +++ b/platform/server/detect.py @@ -27,7 +27,6 @@ def get_opts(): def get_flags(): return [ - ('builtin_zlib', 'no'), ] |