| 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',
|
|
|