diff options
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 9b2dee70..5bd80c5d 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -211,8 +211,6 @@ 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 # Building |