| Index: third_party/WebKit/Source/devtools/devtools.gypi
|
| diff --git a/third_party/WebKit/Source/devtools/devtools.gypi b/third_party/WebKit/Source/devtools/devtools.gypi
|
| index 5664aba4343668d3c7d657bb505ba7b0e234ed96..5fd50f5ad5540303eebaedc5422df54ef2801204 100644
|
| --- a/third_party/WebKit/Source/devtools/devtools.gypi
|
| +++ b/third_party/WebKit/Source/devtools/devtools.gypi
|
| @@ -72,6 +72,7 @@
|
| 'front_end/common/Settings.js',
|
| 'front_end/common/StaticContentProvider.js',
|
| 'front_end/common/OutputStream.js',
|
| + 'front_end/common/SegmentedRange.js',
|
| 'front_end/common/TestBase.js',
|
| 'front_end/common/TextDictionary.js',
|
| 'front_end/common/TextRange.js',
|
|
|