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 | 2004c7a6dc76cb10bc0ef8c2ca679b9f1ef1b909 (patch) | |
tree | f61d0476f2adf87c506fb62e82154b6e4f4609d2 /demo/buffer.ur | |
parent | b8d70cb94342374ab7ca0070cc7d218d32973ee4 (diff) |
Resugar tag names before printing parse errors
Diffstat (limited to 'demo/buffer.ur')
0 files changed, 0 insertions, 0 deletions