diff -r 7685cec9fd3c -r f2ddfa555b0f doc/api/helium/property-diamonds.port.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/api/helium/property-diamonds.port.html Fri Sep 11 11:54:49 2009 +0100
@@ -0,0 +1,161 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ property diamonds.port
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+Property diamonds.port
+Type
+
+string
+
+Edit status
+
+discouraged
+
+Default value
+
+ ${sf.spec.publish.diamonds.port}
+
+
+
+
+Description
+
+
Diamonds server port number.
+
+
+
+
+
+
+
+
+
+
+
+ Copyright (c) 2009 Nokia Corporation and/or its subsidiary(-ies). All rights reserved. License: http://www.eclipse.org/legal/epl-v10.html
+
+
+
+
+