Subject: CVS commit: htdocs/guide/en
To: None <>
From: Rui Paulo <>
List: www-changes
Date: 08/07/2005 17:24:03
Module Name:	htdocs
Committed By:	rpaulo
Date:		Sun Aug  7 17:24:03 UTC 2005

Modified Files:
	htdocs/guide/en: chap-veriexec.xml

Log Message:
Beautify indentation.

To generate a diff of this commit:
cvs rdiff -r1.6 -r1.7 htdocs/guide/en/chap-veriexec.xml

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.