| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index 2c2c1f9039c6edb46602063c5c60d29e12f13f67..25ca16d2d57b04f87ef02b81c1675dca048d6656 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -277,6 +277,7 @@
|
| 'front_end/main/AdvancedApp.js',
|
| 'front_end/main/HelpScreenUntilReload.js',
|
| 'front_end/main/Main.js',
|
| + 'front_end/main/OverlayController.js',
|
| 'front_end/main/OverridesView.js',
|
| 'front_end/main/RenderingOptions.js',
|
| 'front_end/main/SimpleApp.js',
|
|
|