Index: third_party/WebKit/Source/platform/bindings/DEPS |
diff --git a/third_party/WebKit/Source/platform/bindings/DEPS b/third_party/WebKit/Source/platform/bindings/DEPS |
index 8e2d58bf4bf24694d94e0173d64d34ca5294ad87..9ee813841f8101246d87d114d7bb75a6318f32c5 100644 |
--- a/third_party/WebKit/Source/platform/bindings/DEPS |
+++ b/third_party/WebKit/Source/platform/bindings/DEPS |
@@ -1,3 +1,4 @@ |
include_rules = [ |
- "+gin/public" |
+ "+gin/public", |
+ "+public/web" |
jochen (gone - plz use gerrit)
2017/05/23 11:10:55
that won't work. Maybe just move the Ids header to
alex clarke (OOO till 29th)
2017/05/24 07:57:49
Done.
|
] |