equal
deleted
inserted
replaced
1 WEBKIT_API_HEADERS = $$PWD/webkitgtkdefines.h \ |
|
2 $$PWD/webkitgtkframe.h \ |
|
3 $$PWD/webkitgtkframedata.h \ |
|
4 $$PWD/webkitgtkglobal.h \ |
|
5 $$PWD/webkitgtknetworkrequest.h \ |
|
6 $$PWD/webkitgtkpage.h \ |
|
7 $$PWD/webkitgtksettings.h |
|