| Index: tools/gritsettings/resource_ids
|
| diff --git a/tools/gritsettings/resource_ids b/tools/gritsettings/resource_ids
|
| index d6c386d91debc95de5432e3fd19d0c3f7d51f2c6..dc712b245261f1bdb4c5a128c992ac724162b48b 100644
|
| --- a/tools/gritsettings/resource_ids
|
| +++ b/tools/gritsettings/resource_ids
|
| @@ -162,9 +162,6 @@
|
| "chrome/browser/resources/quota_internals_resources.grd": {
|
| "includes": [23000],
|
| },
|
| - "chrome/browser/resources/workers_resources.grd": {
|
| - "includes": [23500],
|
| - },
|
| # All standard and large theme resources should have the same IDs.
|
| "ui/resources/ui_resources_standard.grd": {
|
| "includes": [24000],
|
|
|