Don't need period after CVS header
authorSteve Muir <smuir@cs.princeton.edu>
Tue, 2 Dec 2003 00:22:03 +0000 (00:22 +0000)
committerSteve Muir <smuir@cs.princeton.edu>
Tue, 2 Dec 2003 00:22:03 +0000 (00:22 +0000)

No differences found