| 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 87ef11da2b34a1e162d71a3cdc138dbcaaa42b00..f6cf459685a30bd4ce5c557a901bd306b197f4ee 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/workspace/module.json
|
| +++ b/third_party/WebKit/Source/devtools/front_end/workspace/module.json
|
| @@ -2,7 +2,6 @@
|
| "dependencies": ["common", "host", "platform"],
|
| "scripts": [
|
| "FileManager.js",
|
| - "FileSystemMapping.js",
|
| "IsolatedFileSystem.js",
|
| "IsolatedFileSystemManager.js",
|
| "SearchConfig.js",
|
|
|