| Index: tools/gritsettings/resource_ids
|
| diff --git a/tools/gritsettings/resource_ids b/tools/gritsettings/resource_ids
|
| index 733038f81ad46bb12942be619ffd9b2bcb970939..668514627b20662f2e28319d0a47f80f80937b91 100644
|
| --- a/tools/gritsettings/resource_ids
|
| +++ b/tools/gritsettings/resource_ids
|
| @@ -147,7 +147,7 @@
|
| "includes": [21000],
|
| },
|
| # This file is generated during the build.
|
| - "chrome/browser/debugger/frontend/devtools_frontend_resources.grd": {
|
| + "chrome/browser/debugger/frontend/devtools_discovery_page_resources.grd": {
|
| "includes": [21500],
|
| },
|
| "chrome/browser/resources/options_resources.grd": {
|
|
|