Index: third_party/WebKit/Source/devtools/devtools.gypi |
diff --git a/third_party/WebKit/Source/devtools/devtools.gypi b/third_party/WebKit/Source/devtools/devtools.gypi |
index 4f4d32932e12299702b60d010370c45a14262dc6..aa700f3da8fc32a8af8a4636ab4b0498bd5d4a17 100644 |
--- a/third_party/WebKit/Source/devtools/devtools.gypi |
+++ b/third_party/WebKit/Source/devtools/devtools.gypi |
@@ -165,7 +165,6 @@ |
'front_end/sdk/WorkerManager.js', |
], |
'devtools_workspace_js_files': [ |
- 'front_end/workspace/ExcludedFolderManager.js', |
'front_end/workspace/FileManager.js', |
'front_end/workspace/FileSystemMapping.js', |
'front_end/workspace/IsolatedFileSystem.js', |