log

age author description
Thu, 03 Nov 2011 14:23:14 +0000 diego configure: merge DOCS/xml/configure into top-level configure