// Filter some CVS keywords properly
$line = preg_replace ("/\\\$Revision\:\s*(\S*)\s*\\\$/",
"Revision <a href=\"$history\">$1</a>",
// Filter some CVS keywords properly
$line = preg_replace ("/\\\$Revision\:\s*(\S*)\s*\\\$/",
"Revision <a href=\"$history\">$1</a>",