# HG changeset patch # User diego # Date 1182195077 0 # Node ID 8d3fe01337601e23a160ff71980b4619a4f375fc # Parent ac083108997ae4d463183b5fbe36cee70cf82907 Fix license header. diff -r ac083108997a -r 8d3fe0133760 DOCS/xml/en/documentation.xml --- a/DOCS/xml/en/documentation.xml Mon Jun 18 14:44:41 2007 +0000 +++ b/DOCS/xml/en/documentation.xml Mon Jun 18 19:31:17 2007 +0000 @@ -19,18 +19,18 @@