summary refs log tree commit diff
path: root/src/error_index_generator
AgeCommit message (Collapse)AuthorLines
2016-02-14Rename `error-index-generator` to `error_index_generator`Dirk Gadsden-0/+203
This is because the tool compiler passes the name of the tool as a command line `--cfg`. The improved session config parser is stricter and no longer permits invalid meta items (such as "error-index-generator").