diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2015-10-23 10:31:26 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dark@d-d.me> | 2015-10-23 10:31:26 +0200 |
| commit | 344f8499be5f4705c8bd7c9aad45d04d760d3dda (patch) | |
| tree | 63961649fafa4a1ad5b36774d7ee45835c2b53ea /bin | |
| parent | 50fe6eb3f1edbbecd4c5f750ac61a9396c3f3852 (diff) | |
| parent | 7384b8d90431d09178c532925f7db3408be550fc (diff) | |
| download | dotty-344f8499be5f4705c8bd7c9aad45d04d760d3dda.tar.gz dotty-344f8499be5f4705c8bd7c9aad45d04d760d3dda.tar.bz2 dotty-344f8499be5f4705c8bd7c9aad45d04d760d3dda.zip | |
Merge pull request #842 from dotty-staging/fix-838
Fix #838. Fixes to non-local modules& static forwarders.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions