Index: xdocs/properties.xml =================================================================== retrieving revision 1.8 diff -u -r1.8 properties.xml --- xdocs/properties.xml 7 Sep 2003 17:25:21 -0000 1.8 +++ xdocs/properties.xml 18 Feb 2004 14:00:46 -0000 @@ -87,6 +87,12 @@