Index: Source/devtools/front_end/sources/module.json |
diff --git a/Source/devtools/front_end/sources/module.json b/Source/devtools/front_end/sources/module.json |
index e942b30b9741a82d634a0d08df705f13327c7c71..c4d20eb8ed3058538d541d71e48d835d83f0015b 100644 |
--- a/Source/devtools/front_end/sources/module.json |
+++ b/Source/devtools/front_end/sources/module.json |
@@ -208,5 +208,8 @@ |
"FileBasedSearchResultsPane.js", |
"SourcesSearchScope.js", |
"SourcesPanel.js" |
+ ], |
+ "skip_compilation": [ |
+ "jsdifflib.js" |
] |
} |