Mercurial > urweb
log tests/mismatch.urs
age | author | description |
---|---|---|
Tue, 16 Mar 2010 16:17:02 -0400 | Adam Chlipala | More informative tag mismatch error message |
age | author | description |
---|---|---|
Tue, 16 Mar 2010 16:17:02 -0400 | Adam Chlipala | More informative tag mismatch error message |