Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py |
diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py |
index 1d92aca1315b5e758efba3f7356b1386361ca77a..b3bc3c247fbfb100c913ef88ea150301e080d064 100644 |
--- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py |
+++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/workspace.py |
@@ -39,6 +39,7 @@ _log = logging.getLogger(__name__) |
class Workspace(object): |
+ |
def __init__(self, filesystem, executive): |
self._filesystem = filesystem |
self._executive = executive # FIXME: Remove if create_zip is moved to python. |