Module Name: htdocs Committed By: jun Date: Thu Oct 14 03:51:51 UTC 1999 Modified Files: htdocs/Ports/hpcmips: index.html Log Message: check with weblint. To generate a diff of this commit: cvs rdiff -r1.11 -r1.12 htdocs/Ports/hpcmips/index.html Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.