Module Name: htdocs Committed By: snj Date: Mon Mar 19 03:55:34 UTC 2018 Modified Files: htdocs: layout.xml Log Message: add 7.1.2 pages To generate a diff of this commit: cvs rdiff -u -r1.509 -r1.510 htdocs/layout.xml Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.