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 7998969a5c1fc13e8eb7373f97b0c5d30fe3fe09..ba54512e8659ffa26bc6ce93c594cb042f5a1959 100644 |
--- a/third_party/WebKit/Source/devtools/devtools.gypi |
+++ b/third_party/WebKit/Source/devtools/devtools.gypi |
@@ -167,7 +167,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', |