diff options
author | Dmitry Petrashko <dark@d-d.me> | 2015-10-23 10:31:51 +0200 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2015-10-23 10:31:51 +0200 |
commit | 73f725c361a8d990d698c0aeb6889e272759ebeb (patch) | |
tree | 34c5eb76764513df653ca52820bfc2eb2711eba9 /bin | |
parent | 344f8499be5f4705c8bd7c9aad45d04d760d3dda (diff) | |
parent | 3898deafe17eaf5e96387d02c58e4cc74f90838f (diff) | |
download | dotty-73f725c361a8d990d698c0aeb6889e272759ebeb.tar.gz dotty-73f725c361a8d990d698c0aeb6889e272759ebeb.tar.bz2 dotty-73f725c361a8d990d698c0aeb6889e272759ebeb.zip |
Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-alias
Fix #815.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions