Index: chrome/DEPS |
diff --git a/chrome/DEPS b/chrome/DEPS |
index ee445364bf02cacc6918f6dd72266f2e03aa4f54..743c5d2eb65013ff2477eb6c92167c0b571fdb9c 100644 |
--- a/chrome/DEPS |
+++ b/chrome/DEPS |
@@ -33,6 +33,9 @@ include_rules = [ |
"-webkit", |
"-tools", |
+ # For headless mode. |
+ "+headless", |
jochen (gone - plz use gerrit)
2016/12/09 08:25:00
please move this to more specific files, so that e
Sami
2016/12/09 14:06:46
Good point, done.
|
+ |
# Allow inclusion of WebKit API files. |
"+third_party/WebKit/public/platform", |
"+third_party/WebKit/public/public_features.h", |