diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-20 09:46:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-20 09:46:16 +0100 |
commit | 8e2c27154d72bdbe92d7bea9a607b90bf1b52c1c (patch) | |
tree | 5206b8ae189655c0188a71c272181675fb399197 /project | |
parent | f3f1c4623b3815f1385317190bf72baabd98fdff (diff) | |
parent | eff2e07c322144c2886e7598d534d73f67906570 (diff) | |
download | dotty-8e2c27154d72bdbe92d7bea9a607b90bf1b52c1c.tar.gz dotty-8e2c27154d72bdbe92d7bea9a607b90bf1b52c1c.tar.bz2 dotty-8e2c27154d72bdbe92d7bea9a607b90bf1b52c1c.zip |
Merge pull request #1986 from dotty-staging/error-messages-ids
Use enum for error messages IDs.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions