diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-12-03 16:39:45 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 16:39:45 -0500 |
commit | d5716bee3e75662a36a081947c0f06dcd774c563 (patch) | |
tree | 3fd6c8de1bc9008cd4267202f106d19a289305b9 /tests/openRedef.ur | |
parent | 5ee15d277b88084242dc2950f6c85e252d13f1b4 (diff) |
Nicer record summary error messages
Diffstat (limited to 'tests/openRedef.ur')
0 files changed, 0 insertions, 0 deletions