| Index: third_party/WebKit/Source/devtools/BUILD.gn
|
| diff --git a/third_party/WebKit/Source/devtools/BUILD.gn b/third_party/WebKit/Source/devtools/BUILD.gn
|
| index 895a750a7e37e61d1e1f903a09b7d939c6d96377..50f1ae3c0a444d1987a8374bd6f267547880cc80 100644
|
| --- a/third_party/WebKit/Source/devtools/BUILD.gn
|
| +++ b/third_party/WebKit/Source/devtools/BUILD.gn
|
| @@ -150,6 +150,7 @@ all_devtools_files = [
|
| "front_end/cookie_table/CookiesTable.js",
|
| "front_end/cookie_table/module.json",
|
| "front_end/coverage/coverageListView.css",
|
| + "front_end/coverage/CoverageDecorationManager.js",
|
| "front_end/coverage/CoverageListView.js",
|
| "front_end/coverage/CoverageModel.js",
|
| "front_end/coverage/coverageView.css",
|
|
|