browserplugins/browsergpsplugin/data/1028286f.rss
changeset 25 92a061761a7b
parent 0 84ad3b177aa3
--- a/browserplugins/browsergpsplugin/data/1028286f.rss	Thu Dec 17 08:47:18 2009 +0200
+++ b/browserplugins/browsergpsplugin/data/1028286f.rss	Thu Jan 07 12:48:02 2010 +0200
@@ -16,7 +16,7 @@
 */
 
 
-#include "RegistryInfo.rh"
+#include <ecom/registryinfo.rh>
 #include "GpsPlugin.rls"
 
 //  RESOURCE DEFINITIONS