| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index 59a7526d0c6a94fe752463e564e156869a58e11f..2e7da50de71b746388c7be473e7e9d2c1213f05e 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -49,6 +49,9 @@
|
| '<@(devtools_workspace_js_files)',
|
| '<@(devtools_core_css_files)',
|
| ],
|
| + 'devtools_compatibility_scripts': [
|
| + 'front_end/devtools.js',
|
| + ],
|
| 'devtools_core_base_files': [
|
| 'front_end/inspector.css',
|
| 'front_end/inspector.js',
|
|
|