| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index bd12ea1727c14e321cf1aa850d38735ec638f63b..da2c70b35aa8769f5a396bd769e3dbff861633fc 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -185,6 +185,7 @@
|
| 'front_end/WebInspector.js',
|
| 'front_end/WorkerManager.js',
|
| 'front_end/WorkerFrontendManager.js',
|
| + 'front_end/WorkerTargetManager.js',
|
| 'front_end/Workspace.js',
|
| 'front_end/WorkspaceController.js',
|
| 'front_end/ZoomManager.js',
|
|
|