| Index: third_party/WebKit/Source/devtools/front_end/workspace/module.json
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/workspace/module.json b/third_party/WebKit/Source/devtools/front_end/workspace/module.json
|
| index 08396cbc67594a4eadfd45609a7615d5190675ab..ca94968bddeb3cc63f58928e4c6804b4ec59006e 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/workspace/module.json
|
| +++ b/third_party/WebKit/Source/devtools/front_end/workspace/module.json
|
| @@ -6,8 +6,6 @@
|
| ],
|
| "scripts": [
|
| "FileManager.js",
|
| - "IsolatedFileSystem.js",
|
| - "IsolatedFileSystemManager.js",
|
| "SearchConfig.js",
|
| "UISourceCode.js",
|
| "Workspace.js"
|
|
|