| commit | a9a991633de1ec7dc72c5ec731f4f8a764b3b105 | [log] [tgz] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Thu Jan 22 13:19:20 2015 +0000 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Thu Jan 22 13:19:20 2015 +0000 |
| tree | 85d2e70383eeeb46fcaf02a167f4206da5179100 | |
| parent | 59c6f2ef21b7c9fabd1c7e4eb4101530a78b97b1 [diff] |
generate_errors.pl now errors on duplicate codes Duplication could easily happen during merges, now it can't go unnoticed.