widgets/widgetsidchecker/data/10281FC0.rss
changeset 28 d39add9822e2
parent 27 6297cdf66332
--- a/widgets/widgetsidchecker/data/10281FC0.rss	Mon Jan 18 21:20:18 2010 +0200
+++ b/widgets/widgetsidchecker/data/10281FC0.rss	Tue Feb 02 00:56:45 2010 +0200
@@ -15,7 +15,7 @@
 *
 */
 
-#include "registryinfo.rh"
+#include <ecom/registryinfo.rh>
 
 RESOURCE REGISTRY_INFO r_registry
 	{