| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index 3393f717de1f75367b2cc958424c005229e9ad02..efbee851866bb1d9b7476a763e77d94739baafc3 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -73,6 +73,7 @@
|
| 'front_end/common/Progress.js',
|
| 'front_end/common/Settings.js',
|
| 'front_end/common/TextRange.js',
|
| + 'front_end/common/Throttler.js',
|
| 'front_end/common/UIString.js',
|
| 'front_end/common/UserMetrics.js',
|
| 'front_end/common/utilities.js',
|
|
|