| Index: Source/devtools/devtools.gyp
|
| diff --git a/Source/devtools/devtools.gyp b/Source/devtools/devtools.gyp
|
| index ec37e4ede9e44db7ac565a1a045baccdd319db34..b4796691bb2fa28902878b9ec3b4929e9587c95f 100644
|
| --- a/Source/devtools/devtools.gyp
|
| +++ b/Source/devtools/devtools.gyp
|
| @@ -104,6 +104,7 @@
|
| 'front_end/IsolatedFileSystem.js',
|
| 'front_end/IsolatedFileSystemManager.js',
|
| 'front_end/JavaScriptFormatter.js',
|
| + 'front_end/JumpHistoryManager.js',
|
| 'front_end/jsdifflib.js',
|
| 'front_end/KeyboardShortcut.js',
|
| 'front_end/LayersPanelDescriptor.js',
|
|
|