diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-08-29 16:16:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-29 16:16:29 +0200 |
commit | 5032f71013285885b37f799b13ac3ca1ea6a64ff (patch) | |
tree | 1a81981fd87541afe358349a850898ee62c2e832 /tests/pos | |
parent | 959ea0cad3a2ffe441b5e406d26cddbd6cc431ee (diff) | |
parent | 213e65be82601a23cbd0ef9f86a23460297533e1 (diff) | |
download | dotty-5032f71013285885b37f799b13ac3ca1ea6a64ff.tar.gz dotty-5032f71013285885b37f799b13ac3ca1ea6a64ff.tar.bz2 dotty-5032f71013285885b37f799b13ac3ca1ea6a64ff.zip |
Merge pull request #1483 from lampepfl/DarkDimius-patch-7
Update readme: mark Exhaustivity checks & multiv.eq. as implemented
Diffstat (limited to 'tests/pos')
0 files changed, 0 insertions, 0 deletions