Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1807)

Unified Diff: third_party/WebKit/Source/devtools/.eslintignore

Issue 2566553002: DevTools: Do not lint front_end/protocol_externs.js. (Closed)
Patch Set: Add myself to the AUTHORS file Created 4 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « AUTHORS ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: third_party/WebKit/Source/devtools/.eslintignore
diff --git a/third_party/WebKit/Source/devtools/.eslintignore b/third_party/WebKit/Source/devtools/.eslintignore
index 1df83afc59728c7e36d49db32f5d06529e4527d9..0f522c26f874ca46811363aaaa6fdd87d5375b89 100644
--- a/third_party/WebKit/Source/devtools/.eslintignore
+++ b/third_party/WebKit/Source/devtools/.eslintignore
@@ -9,3 +9,4 @@ front_end/gonzales/*
front_end/InspectorBackendCommands.js
front_end/SupportedCSSProperties.js
front_end/terminal/xterm.js/**
+front_end/protocol_externs.js
« no previous file with comments | « AUTHORS ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698