| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index 92f687c6f5a5433c674bf160e01912dacd147fb0..82ccbd49a46f4f0ccb3ab91e28a55f307ce2925d 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -67,7 +67,6 @@
|
| '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',
|
|
|