diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2017-03-14 16:09:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-14 16:09:24 +0100 |
commit | 1aad0a1433e1261af252d2240d63f6f01da65cef (patch) | |
tree | 6a1dbf4230f43a428dee7f7983f5751c8dc267af /interfaces/src | |
parent | 246e7b7ac5dbf428ffcc737b4107729422280f22 (diff) | |
parent | c1e83ef752cf7f14209ed5c26b3b6acfbca80945 (diff) | |
download | dotty-1aad0a1433e1261af252d2240d63f6f01da65cef.tar.gz dotty-1aad0a1433e1261af252d2240d63f6f01da65cef.tar.bz2 dotty-1aad0a1433e1261af252d2240d63f6f01da65cef.zip |
Merge pull request #2098 from dotty-staging/fix-i1960
Fix #1960: add test
Diffstat (limited to 'interfaces/src')
0 files changed, 0 insertions, 0 deletions