diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-28 20:28:11 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-28 20:29:04 -0800 |
| commit | 327be06f9e1741abb188bc1aa0df8a619972734b (patch) | |
| tree | fa45972ef8a25fe5748bf31d56411bcf2374cc17 /man/man1 | |
| parent | 010e64842352db62474f0c3a1d8a18207a547e14 (diff) | |
Removed old 'ast' format, now that we have 'xml'.
The xml representation of the AST is not quite as pretty, but
it contains the same information and is not in an ad hoc format.
See #53.
Diffstat (limited to 'man/man1')
0 files changed, 0 insertions, 0 deletions