Module Name: htdocs Committed By: dent Date: Sun May 27 11:23:11 UTC 2001 Modified Files: htdocs/Ports/hpcmips: index.html Log Message: Fix dead link. To generate a diff of this commit: cvs rdiff -r1.212 -r1.213 htdocs/Ports/hpcmips/index.html Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.