| Index: public/webview/WebDevToolsAgent.h
|
| diff --git a/Source/WebKit/chromium/public/WebDevToolsAgent.h b/public/webview/WebDevToolsAgent.h
|
| similarity index 97%
|
| copy from Source/WebKit/chromium/public/WebDevToolsAgent.h
|
| copy to public/webview/WebDevToolsAgent.h
|
| index 8887a574fdcb651d0d021a77bad868c7cb6f87a2..7b07371df9be8b2032fc85647023a3765caa8dac 100644
|
| --- a/Source/WebKit/chromium/public/WebDevToolsAgent.h
|
| +++ b/public/webview/WebDevToolsAgent.h
|
| @@ -31,8 +31,8 @@
|
| #ifndef WebDevToolsAgent_h
|
| #define WebDevToolsAgent_h
|
|
|
| -#include "../../../../public/platform/WebCommon.h"
|
| -#include "../../../../public/platform/WebVector.h"
|
| +#include "../platform/WebCommon.h"
|
| +#include "../platform/WebVector.h"
|
|
|
| namespace WebKit {
|
| class WebDevToolsAgentClient;
|
|
|