Module Name: htdocs Committed By: thorpej Date: Tue Jun 5 17:38:25 UTC 2001 Modified Files: htdocs/Misc: query-pr.html Log Message: Add port-algor checkbox. To generate a diff of this commit: cvs rdiff -r1.57 -r1.58 htdocs/Misc/query-pr.html Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.