| Index: tools/gritsettings/resource_ids
|
| diff --git a/tools/gritsettings/resource_ids b/tools/gritsettings/resource_ids
|
| index 80ba1d09f4a839162e81a21f138932d8431145ea..3b7a09e59a219ec1c333bd02b2b0986522b35a8d 100644
|
| --- a/tools/gritsettings/resource_ids
|
| +++ b/tools/gritsettings/resource_ids
|
| @@ -143,9 +143,6 @@
|
| "devtools_resources.grd": {
|
| "includes": [22000],
|
| },
|
| - "chrome/browser/devtools/frontend/devtools_discovery_page_resources.grd": {
|
| - "includes": [22500],
|
| - },
|
| "chrome/browser/resources/options_resources.grd": {
|
| "includes": [23000],
|
| },
|
|
|