log tests/comment.ur

age author description
Sun, 20 Nov 2011 20:46:28 -0500 Adam Chlipala Fix bug in previous change
Sun, 20 Nov 2011 18:33:21 -0500 Adam Chlipala Don't treat comment-only lines as blank, in determining split point of .urp files