Dirk Gadsden 2766e254b1 Rename error-index-generator to error_index_generator
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").
2016-02-14 22:29:45 -08:00
..
2016-02-13 17:03:00 +01:00
2016-02-14 11:50:40 -08:00