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], |
}, |