pushmtm/Group/Bld.inf
changeset 18 4530440261a8
parent 15 e45c3f40ea5f
child 31 868cceedabd3
--- a/pushmtm/Group/Bld.inf	Fri Jul 03 15:46:41 2009 +0100
+++ b/pushmtm/Group/Bld.inf	Thu Aug 27 07:42:55 2009 +0300
@@ -17,6 +17,7 @@
 
 
 #include <platform_paths.hrh>
+#include "../../../../mw/web/web_plat/browser_platform_api/inc/Browser_platform_variant.hrh"
 
 PRJ_PLATFORMS
 DEFAULT