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/run | |
| 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/run')
0 files changed, 0 insertions, 0 deletions