| Index: third_party/WebKit/Source/devtools/devtools.gypi
|
| diff --git a/third_party/WebKit/Source/devtools/devtools.gypi b/third_party/WebKit/Source/devtools/devtools.gypi
|
| index 716cb1e9e0322f611ffb6c39cb4c3717e64dc58f..8820cfeddd5640062c0f81ff87b04962b9db9b3a 100644
|
| --- a/third_party/WebKit/Source/devtools/devtools.gypi
|
| +++ b/third_party/WebKit/Source/devtools/devtools.gypi
|
| @@ -781,6 +781,7 @@
|
| 'front_end/cm/javascript.js',
|
| 'front_end/cm/markselection.js',
|
| 'front_end/cm/matchbrackets.js',
|
| + 'front_end/cm/multiplex.js',
|
| 'front_end/cm/overlay.js',
|
| 'front_end/cm/simple.js',
|
| 'front_end/cm/xml.js',
|
|
|