diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-09-22 09:51:06 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-09-22 09:51:06 -0400 |
| commit | 8d4e456a56e3cf84589df3f8dd7181550200587f (patch) | |
| tree | f61d0476f2adf87c506fb62e82154b6e4f4609d2 /doc | |
| parent | 74093a2f38e25a13378ca2a3cc8c2fae4c6f37de (diff) | |
Resugar tag names before printing parse errors
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions