| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2016-02-14 | Rename `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"). | ||||
