| 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 cd6a22cf1c3c461b11fffd6887d904723347bce9..6dc78d6a092bb7fa8a3f6ff5bd1521362c6fcf49 100644
|
| --- a/third_party/WebKit/Source/devtools/devtools.gypi
|
| +++ b/third_party/WebKit/Source/devtools/devtools.gypi
|
| @@ -156,6 +156,7 @@
|
| 'front_end/sdk/NetworkManager.js',
|
| 'front_end/sdk/NetworkRequest.js',
|
| 'front_end/sdk/PaintProfiler.js',
|
| + 'front_end/sdk/ProfileTreeModel.js',
|
| 'front_end/sdk/RemoteObject.js',
|
| 'front_end/sdk/Resource.js',
|
| 'front_end/sdk/ResourceTreeModel.js',
|
|
|