diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-10-22 13:13:51 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-10-22 13:13:51 -0700 |
| commit | dc2c294d3a35479574536c7895a183e68505a95a (patch) | |
| tree | 7a1b32844a37e437165382285d96c5a8569078f5 /tools | |
| parent | 46398a40e7fde539f6645d12772ff7493b0ba2b1 (diff) | |
move save_dir and save_js settings
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/shared.py b/tools/shared.py index c0cc6f21..e98436e4 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -211,6 +211,4 @@ def read_auto_optimize_data(filename): class Dummy: pass Settings = Dummy() # A global singleton. Not pretty, but nicer than passing |, settings| everywhere -Settings.save_dir = 0 -Settings.save_JS = 0 |