diff options
| author | Rémi Verschelde | 2017-11-15 19:23:20 +0100 |
|---|---|---|
| committer | Rémi Verschelde | 2017-11-15 21:29:33 +0100 |
| commit | 677e95d8d189a62e6473b43989012a8258f193a4 (patch) | |
| tree | a68e77b5d7bd8a319131e632da91f6b86acf7768 /modules/etc/config.py | |
| parent | e7701bb2de30c554f52dc9d3f0110b4001ae18ad (diff) | |
| download | godot-677e95d8d189a62e6473b43989012a8258f193a4.tar.gz godot-677e95d8d189a62e6473b43989012a8258f193a4.tar.zst godot-677e95d8d189a62e6473b43989012a8258f193a4.zip | |
Diffstat (limited to 'modules/etc/config.py')
| -rw-r--r-- | modules/etc/config.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/modules/etc/config.py b/modules/etc/config.py index 7dc2cb59c..395fc1bb0 100644 --- a/modules/etc/config.py +++ b/modules/etc/config.py @@ -1,8 +1,6 @@ - def can_build(platform): return True - def configure(env): # Tools only, disabled for non-tools # TODO: Find a cleaner way to achieve that |