| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index 82ccbd49a46f4f0ccb3ab91e28a55f307ce2925d..92f687c6f5a5433c674bf160e01912dacd147fb0 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -67,6 +67,7 @@
|
| 'front_end/common/Console.js',
|
| 'front_end/common/ContentProvider.js',
|
| 'front_end/common/Geometry.js',
|
| + 'front_end/common/Lock.js',
|
| 'front_end/common/ModuleExtensionInterfaces.js',
|
| 'front_end/common/modules.js',
|
| 'front_end/common/NotificationService.js',
|
|
|