| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index d312b5a7bfc92ea6618ee3d67596f5e99aeb36d1..9a1818f1838ba14a4b129d68259dd3c80a720b5d 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -223,6 +223,7 @@
|
| 'front_end/main/App.js',
|
| 'front_end/main/HelpScreenUntilReload.js',
|
| 'front_end/main/OverridesView.js',
|
| + 'front_end/main/RenderingOptions.js',
|
| 'front_end/main/ScreencastApp.js',
|
| 'front_end/main/SimpleApp.js',
|
| 'front_end/main/Main.js',
|
| @@ -304,7 +305,6 @@
|
| 'front_end/elements/MetricsSidebarPane.js',
|
| 'front_end/elements/PlatformFontsSidebarPane.js',
|
| 'front_end/elements/PropertiesSidebarPane.js',
|
| - 'front_end/elements/RenderingOptionsView.js',
|
| 'front_end/elements/Spectrum.js',
|
| 'front_end/elements/StylesSidebarPane.js',
|
| ],
|
|
|