| Index: webkit/plugins/ppapi/DEPS
|
| diff --git a/webkit/plugins/ppapi/DEPS b/webkit/plugins/ppapi/DEPS
|
| index a2b6af669f1856921751333e92dc5f75db0f3237..5cb4caa2e624705d71bac101ee02df47e1551278 100644
|
| --- a/webkit/plugins/ppapi/DEPS
|
| +++ b/webkit/plugins/ppapi/DEPS
|
| @@ -5,8 +5,4 @@ include_rules = [
|
| "+printing",
|
| "+media/video",
|
| "+ui/base/ime",
|
| -
|
| - # This should technically not be allowed. Brett is refactoring this and will
|
| - # move this file to a more proper shared location in a future iteration.
|
| - "+ppapi/proxy/interface_id.h",
|
| ]
|
|
|